• DML-CZ Home
• Commentationes Mathematicae Universitatis Carolinae
• Volume 49

Author: Sorge, Volker

• Sorge, Volker; Colton, Simon; McCasland, Roy; Meier, Andreas: Classification results in quasigroup and loop theory via a combination of automated reasoning tools. (English). Commentationes Mathematicae Universitatis Carolinae, vol. 49 (2008), issue 2, pp. 319-339