1. UIUCDCS-F-85-945;J.M. Becker,1985
2. Bergadano, F., and Giunetti, D., Learning Clauses by Tracing Derivations, Proceed. of the 4 th Int'l Workshop on Inductive Logic Programming, ILP-94, S. Wrobel (Ed.), 1–29, 1994.
3. Botta, M., Learning First Order Theories, in Methodologies for Intelligent Systems — Proceedings of the 8th International Symposium, ISMIS '94, Lecture Notes in Artificial Intelligence 869, Z.W. Ras and M. Zemankova (Eds.), Springer-Verlag, 356–365, 1994.
4. Clark, K.L., Negation as failure, in Logic and Databases, H. Gallaire and J. Minker (Eds.), Plenum Press, New York, 1978.
5. De Raedt, L., Interactive Theory Revision — An Inductive Logic Programming Approach, AP, 1992.