M. Cashmore, M. Fox, D. Long, and D. Magazzeni, “A Compilation of the Full PDDL+ Language into SMT”, ICAPS, vol. 26, no. 1, pp. 79-87, Mar. 2016.