@misc{indiciaeae23577a4691,
  title = {Star-Free Languages are Church-Rosser Congruential},
  author = {Volker Diekert and Manfred Kufleitner and Pascal Weil},
  year = {2011},
  doi = {10.1016/j.tcs.2012.01.028},
  url = {https://arxiv.org/abs/1111.4300},
  note = {Source identifier: 1111.4300}
}