Bonassi, L.; Gerevini, A. E.; Percassi, F.; Scala, E. On Planning With Qualitative State-Trajectory Constraints in PDDL3 by Compiling Them Away. ICAPS 2021, 31, 46-50.