%0 Journal Article
%A Sorge, Volker
%A Colton, Simon
%A McCasland, Roy
%A Meier, Andreas
%T Classification results in quasigroup and loop theory via a combination of automated reasoning tools
%J Commentationes Mathematicae Universitatis Carolinae
%D 2008
%P 319-339
%V 49
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CMUC_2008__49_2_a13/
%G en
%F CMUC_2008__49_2_a13