Termination of linear rewriting systems (1981)

by N Dershowitz
Venue:In Proceedings of the 8th International Colloquium on Automata, Languages and Programming (ICALP81