Foundations of Inductive Logic Programming - Shan-Hwei Nienhuys-Cheng, Roland Wolf ((Lecture Notes in Computer Science))