Hussmann, Heinrich Nondeterministic algebraic specifications and nonconfluent term rewriting. (English) Zbl 0763.68050 J. Log. Program. 12, No. 3, 237-255 (1992). MSC: 68Q65 68Q42 PDFBibTeX XMLCite \textit{H. Hussmann}, J. Log. Program. 12, No. 3, 237--255 (1992; Zbl 0763.68050) Full Text: DOI
Clocksin, W. F. A technique for translating clausal specifications of numerical methods into efficient programs. (English) Zbl 0645.68040 J. Logic Program. 5, No. 3, 231-242 (1988). MSC: 68N99 68W30 65Yxx 68W99 68T15 PDFBibTeX XMLCite \textit{W. F. Clocksin}, J. Log. Program. 5, No. 3, 231--242 (1988; Zbl 0645.68040) Full Text: DOI
Togashi, Atsushi; Noguchi, Shoichi A program transformation from equational programs into logic programs. (English) Zbl 0616.68017 J. Logic Program. 4, 85-103 (1987). MSC: 68Q60 68N01 PDFBibTeX XMLCite \textit{A. Togashi} and \textit{S. Noguchi}, J. Log. Program. 4, 85--103 (1987; Zbl 0616.68017) Full Text: DOI