Gerson Zaverucha Inductive Logic Programming - 2014 - Springer 2014 - Lecture Notes in Computer Science . ISBN: 9783662449233 Subjects--Topical Terms: Computer ScienceFormal Languages and Automata Theory