Decidable Call by Need Computations in term Rewriting (Extended Abstract).

Irne Durand, Aart Middeldorp

Browse the full CADE paper archive.