@Article{	  dgh05IC,
  author	= "Volker Diekert and Claudio Guti{\'e}rrez and {\relax
		  Ch}ristian Hagenah",
  title		= "The existential theory of equations with rational
		  constraints in free groups is {PSPACE}-complete",
  journal	= "Information and Computation",
  pages		= "105--140",
  volume	= "202",
  year		= "2005",
  note		= "Conference version in STACS 2001, LNCS 2010, 170--182,
		  2001",
  doi		= "10.1016/j.ic.2005.04.002"
}