"The Specificity Rule for Lazy Pattern-Matching in Ambiguous Term Rewrite ..."

Richard Kennaway (1990)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics