@misc{indiciae83c62a133f75,
  title = {Bottom-up automata on data trees and vertical XPath},
  author = {Diego Figueira and Luc Segoufin},
  year = {2017},
  doi = {10.23638/lmcs-13(4:5)2017},
  url = {https://arxiv.org/abs/1710.08748},
  note = {Source identifier: 1710.08748}
}