Transducteurs finis d'arbres et tests d'égalité E. Lilin RAIRO. Inform. théor., 15 3 (1981) 213-232 Published online: 01 February 2017 DOI: 10.1051/ita/1981150302131