Cashmore M, Fox M, Long D, Magazzeni D. A Compilation of the Full PDDL+ Language into SMT. ICAPS [Internet]. 2016 Mar. 30 [cited 2026 May 26];26(1):79-87. Available from: https://ojs.aaai.org/index.php/ICAPS/article/view/13755