Easy lambda-terms are not always simpleAlberto Carraro and Antonino SalibraRAIRO-Theor. Inf. Appl., 46 2 (2012) 291-314DOI: https://doi.org/10.1051/ita/2012005
