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

Journal of Logic Programming  

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