The expressivity of XPath with transitive closure.

Balder ten Cate

Browse the full PODS paper archive.