@Article{	  DiekertKRW15jacm,
  author	= "Diekert, Volker and Kufleitner, Manfred and Reinhardt,
		  Klaus and Walter, Tobias",
  title		= "Regular Languages Are {Church}-{Rosser} Congruential",
  journal	= "Journal of the ACM",
  issue_date	= "November 2015",
  volume	= "62",
  year		= "2015",
  issn		= "0004-5411",
  pages		= "39:1--39:20",
  articleno	= "39",
  numpages	= "20",
  url		= "http://doi.acm.org/10.1145/2808227",
  doi		= "10.1145/2808227",
  acmid		= "2808227",
  publisher	= "ACM",
  address	= "New York, NY, USA",
  keywords	= "Church-Rosser system, local divisor, regular language,
		  semigroup, string rewriting",
  note		= "Conference version in Proc.~ICALP 2012 (Track B), LNCS
		  7392, 177--188 (2012)"
}