Complete sets of reductions modulo Associativity, Commutativity and Identity (1989)

by T Baird, G E Peterson, R Wilkerson
Venue:In Proc. 3rd RTA, LNCS 355