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

by G HUET, J-J LÉVY