Michal Krynicki Jose Maria Turull Torres Games on Trees and Syntactical Complexity of Formulas. 653-687 2007 15 Logic Journal of the IGPL 5-6 http://dx.doi.org/10.1093/jigpal/jzm051 db/journals/igpl/igpl15.html#KrynickiT07