1. Visibly pushdown languages;Alur,2004
2. XML subtree queries: specification and composition;Benedikt,2005
3. Modal Logic;Blackburn,2001
4. Information preserving XML schema embedding;Bohannon,2005
5. Weak second-order arithmetic and finite automata;Büchi;Z. Math. Log. Grundl. Math.,1960