TY  - RPRT
TI  - Algorithmically finite groups
AU  - A. Myasnikov
AU  - D. Osin
PY  - 2010
UR  - https://arxiv.org/abs/1012.1653
ID  - 1012.1653
ER  -