TY - RPRT TI - Algorithmically complex residually finite groups AU - O. Kharlampovich AU - A. Myasnikov AU - M. Sapir PY - 2013 UR - https://arxiv.org/abs/1204.6506 ID - 1204.6506 ER -