@misc{indiciaef1b8d63960ff,
  title = {The Emptiness Problem for Tree Automata with at Least One Disequality Constraint is NP-hard},
  author = {P. -C Héam and V. Hugot and O. Kouchnarenko},
  year = {2014},
  url = {https://arxiv.org/abs/1412.0839},
  note = {Source identifier: 1412.0839}
}