Batusov, V.; Soutchanski, M. A Logical Semantics for PDDL+. ICAPS 2021, 29, 40-48.