Batusov, V., & Soutchanski, M. (2021). A Logical Semantics for PDDL+. Proceedings of the International Conference on Automated Planning and Scheduling, 29(1), 40-48. https://doi.org/10.1609/icaps.v29i1.3548