F. Percassi and A. E. Gerevini, “On Compiling Away PDDL3 Soft Trajectory Constraints without Using Automata”, ICAPS, vol. 29, no. 1, pp. 320-328, May 2021.