1. Apt, K.R.: A Proof Theoretic View of Constraint Programming. Fundamenta Informaticae 33, 1–27 (1998)
2. Bagnara, R.: Data-flow Analysis for Constraint Logic-based Languages. PhD thesis, Universitá di Pisa, TD-1/97 (1997)
3. Lecture Notes in Computer Science;F. Benoy,1997
4. Bossi, A., Gabbrielli, M., Levi, G., Martelli, M.: The s-semantics Approach: Theory and Applications. Journal of Logic Programming 19-20, 149–197 (1994)
5. Cousot, P., Cousot, R.: Comparing the Galois Connection and Wide- ning/Narrowing Approaches to Abstract Interpretation. Technical Report LIENS- 92-16, Laboratoire d’Informatique de l’Ecole Normal Superiéure (1992)