Gregory, P.; Long, D.; Fox, M.; Beck, J. C. Planning Modulo Theories: Extending the Planning Paradigm. ICAPS 2012, 22, 65-73.