Gregory, P., D. Long, M. Fox, and J. C. Beck. “Planning Modulo Theories: Extending the Planning Paradigm”. Proceedings of the International Conference on Automated Planning and Scheduling, vol. 22, no. 1, May 2012, pp. 65-73, doi:10.1609/icaps.v22i1.13505.