Guttag, J. V.; Kapur, D.; Musser, D. R. On proving uniform termination and restricted termination of rewriting systems. (English) Zbl 0526.68036 SIAM J. Comput. 12, 189-214 (1983). MSC: 68Q65 68T15 PDFBibTeX XMLCite \textit{J. V. Guttag} et al., SIAM J. Comput. 12, 189--214 (1983; Zbl 0526.68036) Full Text: DOI
Guttag, John V.; Kapur, Deepak; Musser, David R. Derived pairs, overlap closures, and rewrite dominoes: new tools for analyzing term rewriting systems. (English) Zbl 0483.68034 Automata, languages and programming, 9th Colloq., Aarhus/Den. 1982, Lect. Notes Comput. Sci. 140, 300-312 (1982). MSC: 68Q65 68P05 PDFBibTeX XML