Bottom-up automata on data trees and vertical XPath

Diego Figueira, Luc Segoufin. Bottom-up automata on data trees and vertical XPath. In Thomas Schwentick, Christoph Dürr, editors, 28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany. Volume 9 of LIPIcs, pages 93-104, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]

@inproceedings{FigueiraS11,
  title = {Bottom-up automata on data trees and vertical XPath},
  author = {Diego Figueira and Luc Segoufin},
  year = {2011},
  doi = {10.4230/LIPIcs.STACS.2011.93},
  url = {http://dx.doi.org/10.4230/LIPIcs.STACS.2011.93},
  tags = {XPath, data-flow},
  researchr = {https://researchr.org/publication/FigueiraS11},
  cites = {0},
  citedby = {0},
  pages = {93-104},
  booktitle = {28th International Symposium on Theoretical Aspects of Computer Science, STACS 2011, March 10-12, 2011, Dortmund, Germany},
  editor = {Thomas Schwentick and Christoph Dürr},
  volume = {9},
  series = {LIPIcs},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
  isbn = {978-3-939897-25-5},
}