Zhang, Yu, Sarath Sreedharan, and Subbarao Kambhampati. 2016. “A Formal Analysis of Required Cooperation in Multi-Agent Planning”. Proceedings of the International Conference on Automated Planning and Scheduling 26 (1):335-43. https://doi.org/10.1609/icaps.v26i1.13770.