1. Muggleton, S.H.: Inverse Entailment and Progol. New Generat. Comput. 13, 245–286 (1995)
2. Srinivasan, A.: The Aleph Manual, version 4 (2003),
http://web.comlab.ox.ac.uk/oucl/research/areas/machlearn/Aleph/index.html
3. Lecture Notes in Artificial Intelligence;O. Ray,2003
4. Moyle, S.A.: An Investigation into Theory Completion Techniques in Inductive Logic Programming. PhD thesis, University of Oxford (2000)
5. Lecture Notes in Artificial Intelligence;S.H. Muggleton,2000