Cashmore, M., M. Fox, D. Long, and D. Magazzeni. “A Compilation of the Full PDDL+ Language into SMT”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 26, no. 1, Mar. 2016, pp. 79-87, doi:10.1609/icaps.v26i1.13755.