"The Monadic Second Order Theory of Trees Given by Arbitrary Level-Two ..."

Klaus Aehlig, Jolie G. de Miranda, C.-H. Luke Ong (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics