Percassi, F.; Scala, E.; Vallati, M. The Power of Reformulation: From Validation to Planning in PDDL+. ICAPS 2022, 32, 288-296.