1. On infinite terms having a decidable monadic theory;Caucal,2002
2. Monadic second-order logic, graph coverings and unfoldings of transition systems;Courcelle;Ann. Pure Appl. Log.,1998
3. On infinite transition graphs having a decidable monadic theory;Caucal,1996
4. Higher order pushdown automata, the Caucal hierarchy of graphs and parity games;Cachat,2003
5. The Caucal hierarchy of infinite graphs in terms of logic and higher-order pushdown automata;Carayol,2003