Inductive synthesis of recursive logic programs: Achievements and prospects (1999)

by P Flener, S Yilmaz
Venue:Journal of Logic Programming