Röger, Gabriele, Silvan Sievers, and Michael Katz. 2018. “Symmetry-Based Task Reduction for Relaxed Reachability Analysis”. Proceedings of the International Conference on Automated Planning and Scheduling 28 (1):208-17. https://doi.org/10.1609/icaps.v28i1.13904.