MoL-2012-08: Zanasi, Fabio (2012) Expressiveness of Monadic Second Order Logics on Infinite Trees of Arbitrary Branching Degree. [Report]