Citation: W.w.mccune, Automated Discovery of New Axiomatizations of the Left Group and Right Group Calcouli, Journal of automated reasoning , 9(1), 1992, pp. 1-24
Citation: W.w.mccune, Studies in Automated Reasoning: Single Axioms for Groups and Abelian Groups with Various Operations, Journal of automated reasoning , 10(1), 1993, pp. 1-14