Inductive Logic Programming - Dimitar Kazakov, Can Erten (Springer, 2020)