Cashmore, Michael, Maria Fox, Derek Long, and Daniele Magazzeni. 2016. “A Compilation of the Full PDDL+ Language into SMT”. Proceedings of the International Conference on Automated Planning and Scheduling 26 (1):79-87. https://doi.org/10.1609/icaps.v26i1.13755.