Inductive Logic Programming - Kramer, Stefan (Springer Berlin Heidelberg, 2020)