A shorter proof that palindromes are not a Church-Rosser language, with extensions to almost-confluent and preperfect Thue systems

Colm Ó Dúnlaing, Natalie Schluter. A shorter proof that palindromes are not a Church-Rosser language, with extensions to almost-confluent and preperfect Thue systems. Theoretical Computer Science, 411(3):677-690, 2010. [doi]

Abstract

Abstract is missing.