TY  - RPRT
TI  - FO2(<,+1,~) on data trees, data tree automata and branching vector addition systems
AU  - Florent Jacquemard
AU  - Luc Segoufin
AU  - Jerémie Dimino
PY  - 2016
DO  - 10.2168/lmcs-12(2:3)2016
UR  - https://arxiv.org/abs/1601.01579
ID  - 1601.01579
ER  -