On the complexity of XPath containment in the presence of disjunction, DTDs, and variables

Frank Neven, Thomas Schwentick. On the complexity of XPath containment in the presence of disjunction, DTDs, and variables. Logical Methods in Computer Science, 2(3), 2006. [doi]

Abstract

Abstract is missing.