TY  - RPRT
TI  - Rewriting the check of 8-rewritability for $A_5$
AU  - Alexander Konovalov
PY  - 2010
UR  - https://arxiv.org/abs/1005.0715
ID  - 1005.0715
ER  -