Decision procedures for simple equational theories with permutative axioms: complete sets of permutative reductions (1977)

by D S Lankford, A M Ballantyne