A Conflict Between Call-by-Need Computation and Parallelism (1994)

by J R Kennaway
Venue:Workshop on Conditional Term Rewriting Systems