TY - RPRT TI - Algorithmic Search in Group Theory AU - Robert H. Gilman PY - 2018 UR - https://arxiv.org/abs/1812.08116 ID - 1812.08116 ER -