@Article{	  dlu12higman,
  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}",
  year		= "2012",
  volume	= "22",
  number	= "8",
  journal	= "International Journal of Algebra and Computation",
  pages		= "1--19",
  doi		= "10.1142/S0218196712400085"
}