A Discrimination Algorithm Inside lambda-beta-Calculus. - Corrado Böhm; Mariangiola Dezani-Ciancaglini; P. Peretti; Simona Ronchi Della Rocca (Theor. Comput. Sci., 1979)