Nachum Dershowitz. Termination of Linear Rewriting Systems (Preliminary Version). In Shimon Even, Oded Kariv, editors, Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings. Volume 115 of Lecture Notes in Computer Science, pages 448-458, Springer, 1981.
Abstract is missing.