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

by D S Lankford, A M Ballantyne