Gregory, Peter, Derek Long, Maria Fox, and J. Christopher Beck. “Planning Modulo Theories: Extending the Planning Paradigm”. Proceedings of the International Conference on Automated Planning and Scheduling 22, no. 1 (May 14, 2012): 65-73. Accessed July 17, 2024. https://ojs.aaai.org/index.php/ICAPS/article/view/13505.