TY  - RPRT
TI  - Bottom-up automata on data trees and vertical XPath
AU  - Diego Figueira
AU  - Luc Segoufin
PY  - 2017
DO  - 10.23638/lmcs-13(4:5)2017
UR  - https://arxiv.org/abs/1710.08748
ID  - 1710.08748
ER  -