Balder ten Cate Luc Segoufin XPath, transitive closure logic, and nested tree walking automata. 251-260 2008 PODS http://doi.acm.org/10.1145/1376916.1376952 conf/pods/2008 db/conf/pods/pods2008.html#CateS08