Single Axioms for Odd Exponent Groups (1995)

by Joan Hart, Kenneth Kunen
Venue:J. Automated Reasoning