[1]
F. Meneguzzi, P. Telang, and M. Singh, “A First-Order Formalization of Commitments and Goals for Planning”, AAAI, vol. 27, no. 1, pp. 697-703, Jun. 2013.