On the complexity of XPath containment in the presence of disjunction, DTDs, and variables. (2006)

by F Neven, T Schwentick
Venue:Logical Methods in Computer Science,