@inproceedings{conf/ilp/EspositoML00, title = {Induction of Recursive Theories in the Normal ILP Setting: Issues and Solutions.}, author = {Floriana Esposito and Donato Malerba and Francesca A. Lisi}, booktitle = {ILP}, crossref = {conf/ilp/2000}, editor = {James Cussens and Alan M. Frisch}, pages = {93-111}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, url = {http://dblp.uni-trier.de/db/conf/ilp/ilp2000.html#EspositoML00}, volume = {1866}, year = {2000}, biburl = {http://www.bibsonomy.org/bibtex/2592e020ecd4ea3c095f07f3b2bb8b6ba/dblp}, description = {dblp}, ee = {http://link.springer.de/link/service/series/0558/bibs/1866/18660093.htm}, isbn = {3-540-67795-X}, date = {2002-01-03}, keywords = {dblp } }