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

by Max Dauchet
Venue:In MFCS