Percassi, Francesco, and Alfonso E. Gerevini. 2021. “On Compiling Away PDDL3 Soft Trajectory Constraints Without Using Automata”. Proceedings of the International Conference on Automated Planning and Scheduling 29 (1):320-28. https://doi.org/10.1609/icaps.v29i1.3494.