TY  - RPRT
TI  - Equivalence of Deterministic Top-Down Tree-to-String Transducers is Decidable
AU  - Helmut Seidl
AU  - Sebastian Maneth
AU  - Gregor Kemper
PY  - 2017
UR  - https://arxiv.org/abs/1503.09163
ID  - 1503.09163
ER  -