Batusov, V., and M. Soutchanski. “A Logical Semantics for PDDL+”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 29, no. 1, May 2021, pp. 40-48, doi:10.1609/icaps.v29i1.3548.