1. Temporal Logic Programming;Abadi;Journal of Symbolic Computation,1989
2. Extending CHIP to Solve Complex Scheduling and Packing Problems;Aggoun;Journées Francophones De Programmation Logique,1992
3. Overview of the CHIP Compiler System;Aggoun,1993
4. Constraint Logic Programming Language CAL;Aiba;Proc. International Conference on Fifth Generation Computer Systems 1988,1988
5. An Algebraic Semantics Approach to the Effective Resolution of Type Equations;Aït-Kaci;Theoretical Computer Science,1986