Boström H. and Idestam-Almquist P., "Induction of Logic Programs by Example-Guided Unfolding" 159-183

Journal of Logic Programming Vol. (1999) Journal of Logic Programming Vol. 40 (2-3) (1999)  

Languages mentioned SPECTRE {1994}