M. Crosby, M. Rovatsos, and R. Petrick, “Automated Agent Decomposition for Classical Planning”, ICAPS, vol. 23, no. 1, pp. 46-54, Jun. 2013.