The monadic theory of tree-like structures

Berlin [u.a.] / Springer (2002) [Contribution to a book, Contribution to a conference proceedings]

Automata, logics, and infinite games : a guide to current research / Erich Grädel; Wolfgang Thomas; Thomas Wilke (ed.)
Page(s): 285-301