Simon Colton, Stephen Muggleton. ILP for Mathematical Discovery. In Tamás Horváth, editor, Inductive Logic Programming: 13th International Conference, ILP 2003, Szeged, Hungary, September 29-October 1, 2003, Proceedings. Volume 2835 of Lecture Notes in Computer Science, pages 93-111, Springer, 2003. [doi]
Abstract is missing.