Percassi, Francesco, Enrico Scala, and Mauro Vallati. “The Power of Reformulation: From Validation to Planning in PDDL+”. Proceedings of the International Conference on Automated Planning and Scheduling 32, no. 1 (June 13, 2022): 288-296. Accessed August 6, 2024. https://ojs.aaai.org/index.php/ICAPS/article/view/19812.