Similar Items: Bottom-up automata on data trees and vertical XPath
- An extension of data automata that captures XPath
- Axiomatizing Hybrid XPath with Data
- On the complexity of XPath containment in the presence of disjunction, DTDs, and variables
- Minimisation of Multiplicity Tree Automata
- Pushing for weighted tree automata
- Visibly Tree Automata with Memory and Constraints