Regular Languages Are Church-Rosser Congruential.

Volker Diekert, Manfred Kufleitner, Klaus Reinhardt, Tobias Walter

Browse the full ICALP paper archive.