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

by J R Kennaway
Venue:Proc. of 3rd European Symposium on Programming (ESOP