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