An almost-confluent congruential language which is not Church-Rosser congruential

Colm Ó Dúnlaing. An almost-confluent congruential language which is not Church-Rosser congruential. Theoretical Computer Science, 589:141-146, 2015. [doi]

Abstract

Abstract is missing.