@InProceedings{	  dgh01,
  author	= "Volker Diekert and Claudio Guti{\'e}rrez and {\relax
		  Ch}ristian Hagenah",
  booktitle	= "Proc. 18th Annual Symposium on Theoretical Aspects of
		  Computer Science (STACS'01), Dresden (Germany), 2001",
  pages		= "170--182",
  editor	= "A. Ferreira and H. Reichel",
  series	= "Lecture Notes in Computer Science",
  volume	= "2010",
  publisher	= "Springer-Verlag",
  year		= "2001",
  title		= "The existential theory of equations with rational
		  constraints in free groups is {PSPACE}-complete",
  note		= "Journal version in Information and Computation 202:
		  105-140, 2005",
  doi		= "10.1007/3-540-44693-1_15"
}