Foundations of Inductive Logic Programming - Nienhuys-Cheng, Shan-Hwei; Nienhuys-Cheng, Shan-Hwei; Wolf, Ronald de (Springer Berlin Heidelberg : Imprint: Springer, 1997)