Percassi, Francesco, Enrico Scala, and Mauro Vallati. 2022. “The Power of Reformulation: From Validation to Planning in PDDL+”. Proceedings of the International Conference on Automated Planning and Scheduling 32 (1):288-96. https://doi.org/10.1609/icaps.v32i1.19812.