@misc{indiciae5f48aa21d2aa,
  title = {Hyper-Minimization for Deterministic Weighted Tree Automata},
  author = {Andreas Maletti and Daniel Quernheim},
  year = {2014},
  doi = {10.4204/eptcs.151.22},
  url = {https://arxiv.org/abs/1405.5610},
  note = {Source identifier: 1405.5610}
}