NV-Sequentiality: a Decidable Condition for Call-by-Need Computations in Term-Rewriting Systems (1993)

by M Oyamaguchi
Venue:SIAM Journal of Computation