TY  - RPRT
TI  - The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard
AU  - P. -C Héam
AU  - V. Hugot
AU  - O. Kouchnarenko
PY  - 2014
UR  - https://arxiv.org/abs/1412.0839
ID  - 1412.0839
ER  -