TY  - RPRT
TI  - Efficient algorithms for highly compressed data: The Word Problem in Higman's group is in P
AU  - Volker Diekert
AU  - Jürn Laun
AU  - Alexander Ushakov
PY  - 2011
UR  - https://arxiv.org/abs/1103.1232
ID  - 1103.1232
ER  -