Delzanno, Giorgio; Podelski, Andreas Constraint-based deductive model checking. (English) Zbl 0991.68013 Int. J. Softw. Tools Technol. Transf. 3, No. 3, 250-270 (2001). MSC: 68N17 PDFBibTeX XML Full Text: DOI
Aït-Kaci, Hassan; Podelski, Andreas; Smolka, Gert A feature constraint system for logic programming with entailment. (English) Zbl 0801.68023 Theor. Comput. Sci. 122, No. 1-2, 263-283 (1994). MSC: 68N17 68Q65 PDFBibTeX XMLCite \textit{H. Aït-Kaci} et al., Theor. Comput. Sci. 122, No. 1--2, 263--283 (1994; Zbl 0801.68023) Full Text: DOI
Aït-Kaci, Hassan; Podelski, Andreas Entailment and disentailment of order-sorted feature constraints. (English) Zbl 0793.68022 Voronkov, Andrei (ed.), Logic programming and automated reasoning. 4th international conference, LPAR ’93, St. Petersburg, Russia, July 13-20, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 698, 1-18 (1993). MSC: 68N17 03B47 PDFBibTeX XMLCite \textit{H. Aït-Kaci} and \textit{A. Podelski}, Lect. Notes Comput. Sci. 698, 1--18 (1993; Zbl 0793.68022)
Aït-Kaci, Hassan; Podelski, Andreas Towards a meaning of LIFE. (English) Zbl 0782.68022 J. Log. Program. 16, No. 3-4, 195-234 (1993). MSC: 68N15 68N17 68T99 68W30 PDFBibTeX XMLCite \textit{H. Aït-Kaci} and \textit{A. Podelski}, J. Log. Program. 16, No. 3--4, 195--234 (1993; Zbl 0782.68022) Full Text: DOI
Aït-Kaci, Hassan; Podelski, Andreas; Smolka, Gert A feature-based constraint system for logic programming with entailment. (English) Zbl 0862.68024 Institute for New Generation Computer Technology (ed.), 5th generation computer systems 1992. International conference, FGCS ’92. Japan 1992, Vol. 2. Amsterdam: IOS Press. 1012-1021 (1992). MSC: 68N17 PDFBibTeX XMLCite \textit{H. Aït-Kaci} et al., in: 5th generation computer systems 1992. International conference, FGCS '92. Japan 1992, Vol. 2. Amsterdam: IOS Press. 1012--1021 (1992; Zbl 0862.68024)