Foundations Of Inductive Logic Programming door S.H. Nienhuys-Cheng & Ronald de Wolf