Linear groupoids and the associated wreath products. - J. D. Phillips 001; Petr Vojtechovský (J. Symb. Comput., 2005)

Automated theorem proving in quasigroup and loop theory. - J. D. Phillips 001; David Stanovský (AI Commun., 2010)