Röger, G.; Sievers, S.; Katz, M. Symmetry-Based Task Reduction for Relaxed Reachability Analysis. ICAPS 2018, 28, 208-217.