Floriana Esposito, Donato Malerba, Francesca A. Lisi. Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions. In James Cussens, Alan M. Frisch, editors, Inductive Logic Programming, 10th International Conference, ILP 2000, London, UK, July 24-27, 2000, Proceedings. Volume 1866 of Lecture Notes in Computer Science, pages 93-111, Springer, 2000. [doi]
Abstract is missing.