Inductive Logic Programming - Zaverucha; Costa, Vítor Santos; Paes, Aline; Paes, Aline Marins; Santos Costa, Vítor (Springer Berlin Heidelberg, 2014)