Equivalence of Deterministic Top-Down Tree-to-String Transducers is Decidable.

Helmut Seidl, Sebastian Maneth, Gregor Kemper

Browse the full FOCS paper archive.