Inductive inference of logic programs based on algebraic semantics - Sakakibara, Yasubumi (1987)