1. Bratko, I., Grobelnik, M. (1993) Inductive learning applied to program construction and verification. Proc. ILP Workshop 93, Bled, Slovenia.
2. Grobelnik, M. (1992) Markus-an optimised model inference system. Proc. ECAI Workshop on Logical Approaches to Machine Learning, Vienna.
3. Muggleton, S. (1995) Inverse entailment and Progol. New Generation Computing, 13 (1995), 245–286.
4. Pompe, U. (1998) Constraint Inductive Logic Programming. Ph.D. Thesis, University of Ljubljana, Faculty of Computer and Info. Sc. (In Slovenian).
5. Quinlan, J.R. (1990) Learning logical definitions from relations. Machine Learning, 5 (1990), 239–266.