1. H. Ait-Kaci, P. Lincoln, and R. Nasr. Le Fun: Logic, Equations and Functions. In Symp. on Logic Programming, pages 17–23, 1987.
2. M. Bellia and G. Levi. The Relation between Logic and Functional Languages. J. Logic Programming, (3):217–236, 1986.
3. Licentiate thesis;S. Bonnier,1989
4. S. Bonnier. Type-driven Evaluation for Integrating FP and LP. Presented at the Integration workshop at Schloß Dagstuhl, March 1991. Draft.
5. S. Bonnier and J. Maluszynski. Towards a Clean Amalgamation of Logic Programs with External Procedures. In 5:th Int. Conf. and Symp. on Logic Programming, pages 311–326. MIT Press, 1988.