Inductive Logic Programming - Cussens (Springer International Publishing, 2017)