L. Bonassi, A. E. Gerevini, F. Percassi, and E. Scala, “On Planning with Qualitative State-Trajectory Constraints in PDDL3 by Compiling them Away”, ICAPS, vol. 31, no. 1, pp. 46-50, May 2021.