Call by need computations in non-ambiguous linear term rewriting systems (1979)

by G Huet, J-J Lévy
Venue:Rapport INRIA 359, INRIA