Percassi, F., and A. 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, May 2021, pp. 320-8, https://ojs.aaai.org/index.php/ICAPS/article/view/3494.