The Specificity Rule for Lazy Pattern Matching (1990)

by J R Kennaway
Venue:in Ambiguous Term Rewriting Systems, European Symposium on Programming