Percassi, Francesco, and Alfonso E. Gerevini. “On Compiling Away PDDL3 Soft Trajectory Constraints Without Using Automata”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 29, no. 1, July 2019, pp. 320-8, doi:10.1609/icaps.v29i1.3494.