Inductive Logic Programming - Riguzzi (Springer Berlin Heidelberg, 2013)