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.
@inproceedings{Dershowitz81,
title = {Termination of Linear Rewriting Systems (Preliminary Version)},
author = {Nachum Dershowitz},
year = {1981},
tags = {termination, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/Dershowitz81},
cites = {0},
citedby = {0},
pages = {448-458},
booktitle = {Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings},
editor = {Shimon Even and Oded Kariv},
volume = {115},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-10843-2},
}