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

Balder ten Cate, Luc Segoufin

Browse the full PODS paper archive.