V. Batusov and M. Soutchanski, “A Logical Semantics for PDDL+”, ICAPS, vol. 29, no. 1, pp. 40-48, May 2021.