Batusov, V., & Soutchanski, M. (2021). A Logical Semantics for PDDL+. Proceedings of the International Conference on Automated Planning and Scheduling, 29(1), 40-48. Retrieved from https://ojs.aaai.org/index.php/ICAPS/article/view/3548