Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects. - Pierre Flener; Serap Yilmaz (J. Log. Program., 1999)