Regular Languages Are Church-Rosser Congruential. - DIEKERT, VOLKER; KUFLEITNER, MANFRED; REINHARDT, KLAUS; WALTER, TOBIAS (Journal of the ACM, 2015)