Nakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications. (English) Zbl 1192.68931 J. Symb. Comput. 45, No. 5, 551-573 (2010). MSC: 68W30 68Q42 68Q65 PDFBibTeX XMLCite \textit{M. Nakamura} et al., J. Symb. Comput. 45, No. 5, 551--573 (2010; Zbl 1192.68931) Full Text: DOI Link
Davenport, James H. Equality in computer algebra and beyond. (English) Zbl 1037.68161 J. Symb. Comput. 34, No. 4, 259-270 (2002). MSC: 68W30 68N15 68T15 PDFBibTeX XMLCite \textit{J. H. Davenport}, J. Symb. Comput. 34, No. 4, 259--270 (2002; Zbl 1037.68161) Full Text: DOI
Smith, Douglas R. Constructing specification morphisms. (English) Zbl 0804.68094 J. Symb. Comput. 15, No. 5-6, 571-606 (1993). MSC: 68Q65 68Q60 PDFBibTeX XMLCite \textit{D. R. Smith}, J. Symb. Comput. 15, No. 5--6, 571--606 (1993; Zbl 0804.68094) Full Text: DOI
Kapur, Deepak; Narendran, Paliath; Zhang, Hantao Automating inductionless induction using test sets. (English) Zbl 0724.68079 J. Symb. Comput. 11, No. 1-2, 83-111 (1991). MSC: 68T15 03C05 68Q42 PDFBibTeX XMLCite \textit{D. Kapur} et al., J. Symb. Comput. 11, No. 1--2, 83--111 (1991; Zbl 0724.68079) Full Text: DOI
Otto, Friedrich When is an extension of a specification consistent? Decidable and undecidable cases. (English) Zbl 0746.68062 J. Symb. Comput. 12, No. 3, 255-273 (1991). Reviewer: J.Avenhaus (Kaiserslautern) MSC: 68Q65 68Q42 PDFBibTeX XMLCite \textit{F. Otto}, J. Symb. Comput. 12, No. 3, 255--273 (1991; Zbl 0746.68062) Full Text: DOI
Comon, Hubert; Lescanne, Pierre Equational problems and disunification. (English) Zbl 0678.68093 J. Symb. Comput. 7, No. 3-4, 371-425 (1989). MSC: 68T15 68Q65 03B35 03D03 PDFBibTeX XMLCite \textit{H. Comon} and \textit{P. Lescanne}, J. Symb. Comput. 7, No. 3--4, 371--425 (1989; Zbl 0678.68093) Full Text: DOI