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

Irène Durand Aart Middeldorp Decidable Call by Need Computations in term Rewriting (Extended Abstract). 4-18 1997 conf/cade/1997 CADE db/conf/cade/cade97.html#DurandM97 http://dx.doi.org/10.1007/3-540-63104-6_2