Foundations of inductive logic programming - Nienhuys-Cheng, S. -H. 1943- (Springer, 1997)