TY  - RPRT
TI  - The Word Problem in the Baumslag group with a non-elementary Dehn function is polynomial time decidable
AU  - Alexei Miasnikov
AU  - Alexander Ushakov
AU  - Dong Wook Won
PY  - 2011
UR  - https://arxiv.org/abs/1102.2481
ID  - 1102.2481
ER  -