Star-free languages are Church-Rosser congruential

Volker Diekert, Manfred Kufleitner, Pascal Weil. Star-free languages are Church-Rosser congruential. Theoretical Computer Science, 454:129-135, 2012. [doi]

Abstract

Abstract is missing.