TY  - RPRT
TI  - Star-Free Languages are Church-Rosser Congruential
AU  - Volker Diekert
AU  - Manfred Kufleitner
AU  - Pascal Weil
PY  - 2011
DO  - 10.1016/j.tcs.2012.01.028
UR  - https://arxiv.org/abs/1111.4300
ID  - 1111.4300
ER  -