@Article{	  DiekertLU13ijac,
  author	= "Volker Diekert and J{\"u}rn Laun and Alexander Ushakov",
  title		= "Efficient algorithms for highly compressed data: {T}he
		  word problem in {H}igman's group is in {P}",
  journal	= "International Journal of Algebra and Computation",
  shortjournal	= "IJAC",
  volume	= "22",
  number	= "8",
  year		= "2013",
  doi		= "10.1142/S0218196712400085"
}