1. Geneviève Bossu and Pierre Siegel. Saturation, nonmonotonic reasoning and the closed-world assumption. Artificial Intelligence, 25:13–63, 1985.
2. Keith L. Clark. Negation as failure. In Hervé Gallaire and Jack Minker, editors, Proceedings of the Symposium on Logic and Databases, pages 293–322, New York, 1978. Plenum Press.
3. Peter Flach. Inductive Logic Programming, chapter A framework for Inductive Logic Programming, pages 193–210. S. Muggleton, academic press edition, 1992.
4. Peter Flach. Conjectures: an inquiry concerning the logic of induction. PhD thesis, Tilburg University, 1995.
5. Peter Flach. Rationality postulates for induction. In Proc. TA RK'1996, pages 267–281, De Zeeuwse Stromen, The Netherlands, 1996.