TY  - RPRT
TI  - Automata for two-variable logic over trees with ordered data values
AU  - Tony Tan
PY  - 2013
UR  - https://arxiv.org/abs/1212.3251
ID  - 1212.3251
ER  -