Learning definite and normal logic programs by induction on failure. - Timothy Kimber (2012)