Foundations of inductive logic programming - Nienhuys-Cheng, Shan-Hwei; Wolf, Ronald de (Springer, 1997)