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

by J R Kennaway
Venue:Proc. European Symposium on Programming; LNCS 432