F. Percassi, E. Scala, and M. Vallati, “The Power of Reformulation: From Validation to Planning in PDDL+”, ICAPS, vol. 32, no. 1, pp. 288-296, Jun. 2022.