Guarded fixed point logics and the monadic theory of countable trees

Grädel, Erich

Amsterdam [u.a.] / Elsevier (2002) [Journal Article]

Theoretical computer science
Volume: 288
Issue: 1
Page(s): 129-152