On Transitive Closure Logic

Datalog LITE: a deductive query language with linear time model checking

ACM Transactions on Computational Logic (TOCL)

Guarded Quantification in Least Fixed Point Logic

Journal of Logic, Language and Information

Classifying regular languages by a split game

Theoretical Computer Science

XPath, transitive closure logic, and nested tree walking automata

Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems

Expressiveness and complexity of XML publishing transducers

ACM Transactions on Database Systems (TODS)

Complete Axiomatizations of MSO, FO(TC1) and FO(LFP1) on Finite Trees

LFCS '09 Proceedings of the 2009 International Symposium on Logical Foundations of Computer Science

Transitive closure logic, nested tree walking automata, and XPath

Journal of the ACM (JACM)