On the complexity of XPath containment in the presence of disjunction, DTDs, and variables (Logical Methods in Computer Science, 2006)