1. K.L. Clark, Negation as failure. Logic and Data Bases, Gallaire, H. and Minker, J., (Eds.), Plenum Press, 293–322, 1978.
2. F. Esposito, A. Laterza, D. Malerba, and G. Semeraro. Locally Finite, Proper and Complete Operators for Refining Datalog Programs. Foundations of Intelligent Systems, Lecture Notes in Artificial Intelligence 1079, Z.W. Ras and M. Michalewicz (Eds.), Springer, 468–478, 1996.
3. F. Esposito, E. Lamma, D. Malerba, P. Mello, M. Milano, F. Riguzzi, G. Semeraro. Learning Abductive Logic Programs. ECAI 96 Workshop on Abductive and Inductive Reasoning, Workshop Notes, 1996.
4. F. Esposito, G. Semeraro, N. Fanizzi, and S. Ferilli. Multistrategy Theory Revision with INTHELEX. Proceedings of the 4 th International Workshop on Multistrategy Learning, MSL-98, F. Esposito, R.S. Michalski and L. Saitta (Eds.), 65–74, 1998.
5. A.C. Kakas, and P. Mancarella. On the Relation of Truth Maintenance and Abduction. Proceedings of the 1st Pacific Rim International Conference on Artificial Intelligence, PRICAI 90, Nagoya, Japan, 1990.