TY - RPRT TI - Algorithms determining finite simple images of finitely presented groups AU - Martin R. Bridson AU - David M. Evans AU - Martin W. Liebeck AU - Dan Segal PY - 2017 UR - https://arxiv.org/abs/1710.07183 ID - 1710.07183 ER -