The following publications are possibly variants of this publication:
- Equivalence of Deterministic Top-Down Tree-to-String Transducers Is DecidableHelmut Seidl, Sebastian Maneth, Gregor Kemper. JACM, 65(4), 2018. [doi]
- The equivalence problem for deterministic MSO tree transducers is decidableJoost Engelfriet, Sebastian Maneth. ipl, 100(5):206-212, 2006. [doi]
- The Equivalence Problem for Deterministic MSO Tree Transducers Is DecidableJoost Engelfriet, Sebastian Maneth. fsttcs 2005: 495-504 [doi]
- Functionality of compositions of top-down tree transducers is decidableSebastian Maneth, Helmut Seidl, Martin Vu. iandc, 296:105131, January 2024. [doi]