Searching for Shortest Single Axioms for Groups of Exponent 6. - Nick C. Fiala; Keith M. Agre (J. Autom. Reason., 2006)