A Formal Analysis of Required Cooperation in Multi-agent Planning
A general, fully distributed multi-agent planning algorithm