REFERENCES
- Bruck , R. H. ( 1944 ). Some results in the theory of quasigroups . Trans. Amer. Math. Soc. 55 : 19 – 52 .
- Bruck , R. H. ( 1971 ). A Survey of Binary Systems . Berlin : Springer-Verlag .
- Bruck , R. H. , Paige , L. J. ( 1956 ). Loops whose inner mappings are automorphisms . Ann. Math. 63 ( 2 ): 308 – 323 .
- Chein , O. (1979/80 ). A short note on supernuclear (central) elements of inverse property loops . Arch. Math. (Basel) 33 : 131 – 132 .
- The GAP Group (2006). GAP – Groups, Algorithms, and Programming. Version 4.4.9. http://www.gap-system.org
- Hart , J. , Kunen , K. ( 1995 ). Single axioms for odd exponent groups . J. Automated Reasoning 14 : 383 – 412 .
- Kiechle , H. ( 2002 ). Theory of K-Loops . Lecture Notes in Mathematics Vol. 1778 . Berlin : Springer .
- Kinyon , M. K. , Kunen , K. , Phillips , J. D. ( 2002 ). A generalization of Moufang and Steiner loops . Algebra Universalis 48 : 81 – 101 .
- McCune , W. W. ( 2003 ). Mace4 Reference Manual and Guide . Tech. Memo ANL/MCS-TM-264, Mathematics and Computer Science Division, Argonne National Laboratory, Argonne, IL, August 2003. http://www.cs.unm.edu/~mccune/mace4/
- McCune , W. W. Prover9 Manual . http://www.cs.unm.edu/~mccune/prover9/ (Last accessed January 2007) .
- Nagy , G. P. , Vojtěchovský , P. ( 2007 ). LOOPS – a GAP package, version 1.4.0, Feb. 2007. http://www.math.du.edu/loops
- Pflugfelder , H. O. ( 1990 ). Quasigroups and Loops: Introduction . Sigma Series in Pure Math. Vol. 8 . Berlin : Heldermann Verlag .
- Phillips , J. D. , Vojtěchovský , P. ( 2006 ). C-loops: an introduction . Pub. Math. Debrecen 68 : 115 – 137 .
- Communicated by I. P. Shestakov.