Erich Grädel. Guarded fixed point logics and the monadic theory of countable trees. Theoretical Computer Science, 288(1):129-152, 2002.
@article{Gradel02:0,
title = {Guarded fixed point logics and the monadic theory of countable trees},
author = {Erich Grädel},
year = {2002},
tags = {logic},
researchr = {https://researchr.org/publication/Gradel02%3A0},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {288},
number = {1},
pages = {129-152},
}