TY  - RPRT
TI  - Coset enumeration strategies
AU  - George Havas
PY  - 1994
UR  - https://arxiv.org/abs/math/9406202
ID  - math/9406202
ER  -