Complete sets of reductions for some equational theories (1981)

by G Peterson, M Stickel
Venue:J. Association for Computing Machinery