@misc{indiciae7c8d0ad3a52b,
  title = {The Word Problem in the Baumslag group with a non-elementary Dehn function is polynomial time decidable},
  author = {Alexei Miasnikov and Alexander Ushakov and Dong Wook Won},
  year = {2011},
  url = {https://arxiv.org/abs/1102.2481},
  note = {Source identifier: 1102.2481}
}