1. Hassan Aït-Kaci. Warren's Abstract Machine, A Tutorial Reconstruction. MIT Press, Cambridge, MA, 1991.
2. H. Aït-Kaci, A. Podelski, and G. Smolka. A feature-based constraint system for logic programming with entailment. In 5th FGCS, pages 1012–1022, June 1992.
3. H. Aït-Kaci and A. Podelski. Functions as Passive Constraints in LIFE. PRL Research Report 13. Digital Equipment Corporation, Paris Research Laboratory. Rueil-Malmaison, France, June 1991 (Revised, November 1992).
4. H. Aït-Kaci and A. Podelski. Entailment and disentailment of order-sorted feature constraints. In Proceedings of the Fourth International Conference on Logic Programming and Automated Reasoning, Andrei Voronkov, ed., 1993 (to appear).
5. Hassan Aït-Kaci, Richard Meyer, and Peter Van Roy. Wild LIFE: A User Manual (draft). Technical Note. Digital Equipment Corporation, Paris Research Laboratory. Rueil-Malmaison, France, April 1993.