Single axioms for groups and Abelian groups with various operations (1993)

by W McCune
Venue:J. Automated Reasoning