@misc{indiciae62be63f707d3,
  title = {Equivalence of Deterministic Top-Down Tree-to-String Transducers is Decidable},
  author = {Helmut Seidl and Sebastian Maneth and Gregor Kemper},
  year = {2017},
  url = {https://arxiv.org/abs/1503.09163},
  note = {Source identifier: 1503.09163}
}