@inproceedings{DBLP: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 = {DBLP:conf/ilp/2000},
editor = {James Cussens and Alan M. Frisch},
pages = {93-111},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1866},
year = {2000},
ee = {http://link.springer.de/link/service/series/0558/bibs/1866/18660093.htm}, isbn = {3-540-67795-X}, bibsource = {DBLP, http://dblp.uni-trier.de},
keywords = {imported }
}
::