Foundations of inductive logic programming. - Nienhuys-Cheng, Shan-Hwei (Lecture notes in computer science: lecture notes in artificial intelligence, 1997)