G. De Giacomo, P. Felli, F. Patrizi, and S. Sardina, “Two-Player Game Structures for Generalized Planning and Agent Composition”, AAAI, vol. 24, no. 1, pp. 297–302, Jul. 2010.