Associative-commutative reduction orderings (0)

by L Bachmair
Venue:Information Processing Letters