Ferrand, Gérard; Deransart, Pierre Proof method of partial correctness and weak completeness for normal logic programs. (English) Zbl 0798.68100 J. Log. Program. 17, No. 2-4, 265-278 (1993). MSC: 68Q60 68N17 PDFBibTeX XMLCite \textit{G. Ferrand} and \textit{P. Deransart}, J. Log. Program. 17, No. 2--4, 265--278 (1993; Zbl 0798.68100) Full Text: DOI
Deransart, Pierre; Małuszynski, Jan Relating logic programs and attribute grammars. (English) Zbl 0586.68073 J. Logic Program. 2, 119-155 (1985). Reviewer: C.Masalagiu MSC: 68N20 68N99 PDFBibTeX XMLCite \textit{P. Deransart} and \textit{J. Małuszynski}, J. Log. Program. 2, 119--155 (1985; Zbl 0586.68073) Full Text: DOI Link