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

by G Huet, J J Levy
Venue:INRIA Reports 359