Termination of rewriting is undecidable in the one-rule case (1988)

by M Dauchet
Venue:in Proceedings of the 13th International Symposium on Mathematical Foundations of Computer Science, Lecture Notes in Computer Science 324