Y. Zhang, S. Sreedharan, and S. Kambhampati, “A Formal Analysis of Required Cooperation in Multi-Agent Planning”, ICAPS, vol. 26, no. 1, pp. 335–343, Mar. 2016.