Inductive Logic Programming - Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto (Springer, 2016)