Narendran, Paliath; Otto, Friedrich Some polynomial-time algorithms for finite monadic Church-Rosser Thue systems. (English) Zbl 0677.68050 Theor. Comput. Sci. 68, No. 3, 319-332 (1989). MSC: 68Q25 68Q65 03D03 03B25 68T15 68T99 PDFBibTeX XMLCite \textit{P. Narendran} and \textit{F. Otto}, Theor. Comput. Sci. 68, No. 3, 319--332 (1989; Zbl 0677.68050) Full Text: DOI
Kapur, Deepak; Musser, David R.; Narendran, Paliath Only prime superpositions need be considered in the Knuth-Bendix completion procedure. (English) Zbl 0651.68029 J. Symb. Comput. 6, No. 1, 19-36 (1988). MSC: 68Q65 68W30 68T15 PDFBibTeX XMLCite \textit{D. Kapur} et al., J. Symb. Comput. 6, No. 1, 19--36 (1988; Zbl 0651.68029) Full Text: DOI