Complexity of $\lambda $-term reductionsM. Dezani-Ciancaglini, S. Ronchi Della Rocca and L. SaittaRAIRO. Inform. théor., 13 3 (1979) 257-287DOI: https://doi.org/10.1051/ita/1979130302571