Associative-commutative reduction orderings (1992)

by L Bachmair
Venue:Information Processing Letters