TY  - RPRT
TI  - Loops with abelian inner mapping groups: An application of automated deduction
AU  - Michael Kinyon
AU  - Robert Veroff
AU  - Petr Vojtěchovský
PY  - 2015
UR  - https://arxiv.org/abs/1509.05468
ID  - 1509.05468
ER  -