Percassi, F.; Gerevini, A. E. On Compiling Away PDDL3 Soft Trajectory Constraints Without Using Automata. ICAPS 2021, 29, 320-328.