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://ojs.aaai.org/index.php/ICAPS/article/view/3494.