NV-sequentiality: A decidable condition for call-by-need computations in term rewriting systems (0)

by M Oyamaguchi
Venue:SIAM Journal on Computation