@article{CMUC_2008__49_2_a13,
     author = {Sorge, Volker and Colton, Simon and McCasland, Roy and Meier, Andreas},
     title = {Classification results in quasigroup and loop theory via a combination of automated reasoning tools},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {319--339},
     publisher = {mathdoc},
     volume = {49},
     number = {2},
     year = {2008},
     mrnumber = {2426896},
     zbl = {1192.20062},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_2008__49_2_a13/}
}