Röger, G., Sievers, S., & Katz, M. (2018). Symmetry-Based Task Reduction for Relaxed Reachability Analysis. Proceedings of the International Conference on Automated Planning and Scheduling, 28(1), 208-217. https://doi.org/10.1609/icaps.v28i1.13904