TY  - JOUR
AU  - Sorge, Volker
AU  - Colton, Simon
AU  - McCasland, Roy
AU  - Meier, Andreas
TI  - Classification results in quasigroup and loop theory via a combination of automated reasoning tools
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 2008
SP  - 319
EP  - 339
VL  - 49
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CMUC_2008__49_2_a13/
LA  - en
ID  - CMUC_2008__49_2_a13
ER  -