1. Logic Programming Series;H. Ait-Kaci,1992
2. Hassan Ait-Kaci & Andreas Podelski, “Entailment and disentailment of order-sorted feature constraints,” Fourth International Conference on Logic Programming and Automated Reasoning, New York-Heidelberg-Berlin (1993, to appear).
3. Hassan Ait-Kaci, Andreas Podelski & Gert Smolka, “A feature-based constraint system for logic programming with entailment,” International Conference on Fifth Generation Computer Systems, Tokyo, Japan (June, 1992).
4. APIC Studies in Data Processing #16;A. Colmerauer,1982
5. Alain Colmerauer, “Prolog II: Reference Manual and Theoretical Model,” Groupe Intelligence Artificielle, Universite Aix-Marseille, Internal report, 1982.