Foundations of inductive logic programming - Nienhuys-Cheng, Shan-Hwei (Springer, 1997)