Modular strategies for recursive game graphs

Rajeev Alur, Salvatore La Torre, P. Madhusudan. Modular strategies for recursive game graphs. Theoretical Computer Science, 354(2):230-249, 2006. [doi]

Abstract

Abstract is missing.