Similar Items: On the complexity of XPath containment in the presence of disjunction, DTDs, and variables
- Axiomatizing Hybrid XPath with Data
- An extension of data automata that captures XPath
- Causal Unfoldings and Disjunctive Causes
- Bottom-up automata on data trees and vertical XPath
- Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics
- Disjunctive bases: normal forms and model theory for modal logics