Timothy B. Baird Gerald E. Peterson Ralph W. Wilkerson Complete Sets of Reductions Modulo Associativity, Commutativity and Identity. 29-44 1989 conf/rta/1989 RTA db/conf/rta/rta89.html#BairdPW89 http://dx.doi.org/10.1007/3-540-51081-8_98