TY  - RPRT
TI  - The Warwick Automatic Groups Software
AU  - Derek F. Holt
PY  - 1995
UR  - https://arxiv.org/abs/math/9507202
ID  - math/9507202
ER  -