@InProceedings{	  DiekertKRW12icalp,
  author	= "Volker Diekert and Manfred Kufleitner and Klaus Reinhardt
		  and Tobias Walter",
  title		= "Regular Languages are {Church}-{Rosser} Congruential",
  booktitle	= "International Colloquium Automata, Languages and
		  Programming (ICALP) 2012, Conference Proceedings, Part II",
  event_place	= "Warwick, UK",
  event_name	= "Automata, Languages, and Programming - 39th International
		  Colloquium, ICALP 2012",
  event_date	= "July 9--13",
  isbn		= "978-3-642-31584-8",
  publisher	= "Springer-Verlag",
  series	= "Lecture Notes in Computer Science",
  year		= "2012",
  volume	= "7392",
  editor	= "Artur Czumaj and Kurt Mehlhorn and Andrew Pitts and Roger
		  Wattenhofer",
  pages		= "177--188",
  doi		= "10.1007/978-3-642-31585-5_19",
  note		= "Jornal version in J.~of the ACM, Vol.~62, 39:1--39:20
		  (2015)"
}