1. Didier Bert and Rachid Echahed. Design and implementation of a generic, logic and functional programming language. Number 213 in Lecture Notes in Computer Science, pages 119–132. Springer-Verlag, 1986.
2. P.G. Bosco, E. Giovannetti, G. Levi, and C. Moiso, C.and Palamidessi. A complete semantic characterization of K-LEAF, a logic language with partial functions. In Proceedings of the 4th IEEE International Symposium on Logic Programming, pages 318–327, San Francisco, 1987.
3. Patrick Cousot and Radhia Cousot. Abstract interpretation and application to logic programs. Journal of Logic. Programming, 13(1, 2, 3 and 4):103–179, 1992. Also appeared as Technical Report LIENS-92-12, école normale supérieure, Paris.
4. Patrick Cousot and Radhia Cousot. Abstract interpretation frameworks. Technical Report LIX-RR-92-05, école polytecnique, 1992.
5. N. Dershowitz and J. Jouannaud. Rewrite systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science B: Formal Methods and Semantics, chapter 6, pages 243–320. North Holland, Amsterdam, 1990.