Dietmar Berwanger, Achim Blumensath. The Monadic Theory of Tree-like Structures. In Erich Grädel, Wolfgang Thomas, Thomas Wilke, editors, Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001]. Volume 2500 of Lecture Notes in Computer Science, pages 285-302, Springer, 2001. [doi]
@inproceedings{BerwangerB01, title = {The Monadic Theory of Tree-like Structures}, author = {Dietmar Berwanger and Achim Blumensath}, year = {2001}, url = {http://link.springer.de/link/service/series/0558/bibs/2500/25000285.htm}, researchr = {https://researchr.org/publication/BerwangerB01}, cites = {0}, citedby = {0}, pages = {285-302}, booktitle = {Automata, Logics, and Infinite Games: A Guide to Current Research [outcome of a Dagstuhl seminar, February 2001]}, editor = {Erich Grädel and Wolfgang Thomas and Thomas Wilke}, volume = {2500}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-00388-6}, }