LARA This is an old revision of the document! Monadic Second-Order Logic over Trees Tree Automata Techniques and Applications (Tata book) The MONA Project