1. Esposito F., A. Laterza, D. Malerba, G. Semeraro. Refinement of Datalog Programs. Workshop on Data Mining and ILP, Bari 1996.
2. De Raedt L., M. Bruynooghe. A theory of clausal discovery.IJCAI-93, 1058–1063.
3. Grobelnik M. Induction of Prolog programs with Markus. LOPSTR’93, 57–63.
4. Muggleton S. Inverse entailment and Progol. New Generation Computing Journal, 13:245–286, 1995.
5. van der Laag P. An Analysis of Refinement Operators in ILP. PhD Thesis, Tinbergen Inst. Res. Series 102, 1995.