Meneguzzi, F., P. Telang, and M. Singh. “A First-Order Formalization of Commitments and Goals for Planning”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 27, no. 1, June 2013, pp. 697-03, https://ojs.aaai.org/index.php/AAAI/article/view/8632.