TY  - RPRT
TI  - Applications of computational tools for finitely presented groups
AU  - George Havas
AU  - Edmund F. Robertson
PY  - 1994
UR  - https://arxiv.org/abs/math/9406207
ID  - math/9406207
ER  -