Inductive Logic Programming by S. KrÄmer