1. Clark, K.L.: Negation as failure. In: Gallaire, H., Minker, J. (eds.) Logic and Data Bases, pp. 119–140. Plenum Press, New York (1978)
2. De Raedt, L.: Logical settings for concept-learning. Artificial Intelligence 95, 187–201 (1997)
3. De Raedt, L., Dehaspe, L.: Clausal discovery. Machine Learning 26(2,3), 99–146 (1997)
4. Lecture Notes in Computer Science;L. Raedt De,1993
5. del Val, A.: A new method for consequence finding and compilation in restricted languages. In: Proceedings of AAAI 1999, pp. 259–264. AAAI Press, Menlo Park (1999)