B. Banerjee, L. Kraemer, and J. Lyle, “Multi-Agent Plan Recognition: Formalization and Algorithms”, AAAI, vol. 24, no. 1, pp. 1059-1064, Jul. 2010.