Call by need computations in non-ambiguous linear term rewriting systems - Huet, Gérard 1947-; Lévy, Jean-Jacques (Institut de Recherche d'Informatique et d'Automatique <Rocquencourt> / Laboratoire de Recherche: Rapport de recherche, 1979)