TY - RPRT TI - Decision problems and profinite completions of groups AU - Martin R. Bridson PY - 2008 UR - https://arxiv.org/abs/0810.0390 ID - 0810.0390 ER -