1. F. BERGADANO D. GUNETTI Inductive logic programming, Cambridge, Mass. (The MIT Press) 1996
2. G. BOOLE An investigation of the laws of thought, New York (Dover) 1958
3. 'Composing open logic programs',;BROGI;Journal of Logic and Computation, vol. Journal of Logic and Computation,1993
4. A. BROGI E. LAMMA P. MANCARELLA P. MELLO 'Abductive reasoning in a multi-theory framework', in E. ARDIZZONE et al., Trends in Artificial Intelligence, Berlin (Springer-Verlag) 1991 137 146
5. C. CELLUCCI 'Gödel's incompleteness theorem and the philosophy of open systems', in D. MIÉVILLE (ed.), Kurt Cödel, Travaux de logique, N. 7, Centre de Recherches Sémiologiques, Université de Neuchâtel (Neuchâtel) 1992 103 127