The specificity rule for lazy pattern-matching in ambiguous term rewrite systems (1990)

by J R Kennaway
Venue:In Third European Symp. on Programming