On the Rlationship Between Monadic and Weak Monadic Second Order Logic on Arbitrary Trees, with Applications to the mu-Calculus.

David Janin Giacomo Lenzi On the Rlationship Between Monadic and Weak Monadic Second Order Logic on Arbitrary Trees, with Applications to the mu-Calculus. 247-265 2004 61 Fundam. Inform. 3-4 http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=61&issue=3&spage=247 db/journals/fuin/fuin61.html#JaninL04