@misc{indiciae8aebcf897db1,
  title = {Regular Languages are Church-Rosser Congruential},
  author = {Volker Diekert and Manfred Kufleitner and Klaus Reinhardt and Tobias Walter},
  year = {2012},
  url = {https://arxiv.org/abs/1202.1148},
  note = {Source identifier: 1202.1148}
}