"XPath, transitive closure logic, and nested tree walking automata."

Balder ten Cate, Luc Segoufin (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics