Comparison of priority rules in pattern matching and term rewriting (1991)

by A Laville
Venue:Journal of Symbolic Computation