Meneguzzi, Felipe, Pankaj Telang, and Munindar Singh. 2013. “A First-Order Formalization of Commitments and Goals for Planning”. Proceedings of the AAAI Conference on Artificial Intelligence 27 (1):697-703. https://doi.org/10.1609/aaai.v27i1.8632.