Arbres infinis et systèmes d'équationsBruno CourcelleRAIRO. Inform. théor., 13 1 (1979) 31-48DOI: https://doi.org/10.1051/ita/1979130100311
