Bikramjit Banerjee, Landon Kraemer, Jeremy Lyle: Multi-Agent Plan Recognition: Formalization and Algorithms. AAAI 2010: 1059-1064