@misc{indiciae32488a3a849f, title = {Deciding Equivalence of Linear Tree-to-Word Transducers in Polynomial Time}, author = {Adrien Boiret and Raphaela Palenta}, year = {2016}, url = {https://arxiv.org/abs/1606.03758}, note = {Source identifier: 1606.03758} }