@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},
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 }
}
::