Meneguzzi, F.; Telang, P.; Singh, M. A First-Order Formalization of Commitments and Goals for Planning. AAAI 2013, 27, 697-703.