1. G. P. Balboni, P. G. Bosco, C. Cecchi, R. Melen, C. Moiso, G. Sofi: Implementation of a Parallel Logic Plus Functional Language, in: P. Treleaven (ed.), Parallel Computers: Object Oriented, Functional and Logic, Wiley 1989, 175–214.
2. M. Bellia, G. Levi: The Relation between Logic and Functional Languages, Journal of Logic Prog., Vol.3, 1986, 217–236.
3. P. G. Bosco, C. Cecchi, C. Moiso: An extension of WAM for K-LEAF: A WAM-based compilation of conditional narrowing, Proc. Conf. on Logic Prog., MIT Press 1989, 318–333.
4. P. G. Bosco, E. Giovannetti: IDEAL: An IDeal DEductive Applicative Language, Proc. IEEE Symp. on Logic Prog., IEEE Comp. Soc. Press 1986, 89–94.
5. R. Echahed: On completeness of narrowing strategies, CAAP 1988, LNCS 299, Springer 1988, 89–101.