Transducteurs finis d'arbres et tests d'égalitéE. LilinRAIRO. Inform. théor., 15 3 (1981) 213-232DOI: https://doi.org/10.1051/ita/1981150302131
