TY  - RPRT
TI  - Regular Languages are Church-Rosser Congruential
AU  - Volker Diekert
AU  - Manfred Kufleitner
AU  - Klaus Reinhardt
AU  - Tobias Walter
PY  - 2012
UR  - https://arxiv.org/abs/1202.1148
ID  - 1202.1148
ER  -