Batusov V, Soutchanski M. A Logical Semantics for PDDL+. ICAPS [Internet]. 2021May25 [cited 2024Apr.20];29(1):40-8. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/3548