P. Gregory, D. Long, M. Fox, and J. C. Beck, “Planning Modulo Theories: Extending the Planning Paradigm”, ICAPS, vol. 22, no. 1, pp. 65-73, May 2012.