Balder ten Cate, Luc Segoufin. XPath, transitive closure logic, and nested tree walking automata. In Maurizio Lenzerini, Domenico Lembo, editors, Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2008, June 9-11, 2008, Vancouver, BC, Canada. pages 251-260, ACM, 2008. [doi]
Abstract is missing.