Mohamed Mezghiche Une Nouvelle C beta-Réduction dans la Logique Combinatoire. 151-163 1984 31 Theor. Comput. Sci. db/journals/tcs/tcs31.html#Mezghiche84