Complete sets of reductions for some equational theories (1981)

by G E Peterson, M E Stickel
Venue:Journal of the ACM