Transducteurs finis d'arbres et tests d'égalité E. Lilin — 1981 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications