For more recent result of automated theorem proving in loop theory, see "Loops with abelian inner mapping groups: An application of automated deduction (2015)".

For more recent result of automated theorem proving in loop theory, see "Loops with abelian inner mapping groups: An application of automated deduction (2015)". https://arxiv.org/abs/1509.05468 https://arxiv.org/abs/1509.05468