Zhang, Y.; Sreedharan, S.; Kambhampati, S. A Formal Analysis of Required Cooperation in Multi-Agent Planning. ICAPS 2016, 26, 335-343.