De Giacomo, G.; Felli, P.; Patrizi, F.; Sardina, S. Two-Player Game Structures for Generalized Planning and Agent Composition. AAAI 2010, 24, 297-302.