Monadic second-order logic on tree-like structures (2002)

by I Walukiewicz
Venue:Theor. Comput. Sci