Transductions de forêts reconnaissables monadiques, forêts corégulières André Arnold; Max Dauchet — 1976 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Decidability of equivalence for a class of non-deterministic tree transducers Yves André; Max Dauchet — 1994 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications