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]
No references recorded for this publication.
No citations of this publication recorded.