Röger, Gabriele, Silvan Sievers, and Michael Katz. “Symmetry-Based Task Reduction for Relaxed Reachability Analysis”. Proceedings of the International Conference on Automated Planning and Scheduling 28, no. 1 (June 15, 2018): 208-217. Accessed April 17, 2024. https://ojs.aaai.org/index.php/ICAPS/article/view/13904.