@inproceedings{DBLP:conf/jelia/LeonePFCDEGIIKPP02,
author = {Nicola Leone and
Gerald Pfeifer and
Wolfgang Faber and
Francesco Calimeri and
Tina Dell'Armi and
Thomas Eiter and
Georg Gottlob and
Giovambattista Ianni and
Giuseppe Ielpa and
Christoph Koch and
Simona Perri and
Axel Polleres},
title = {The DLV System},
booktitle = {JELIA},
year = {2002},
pages = {537-540},
ee = {http://dx.doi.org/10.1007/3-540-45757-7_50},
crossref = {DBLP:conf/jelia/2002},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/jelia/2002,
editor = {Sergio Flesca and
Sergio Greco and
Nicola Leone and
Giovambattista Ianni},
title = {Logics in Artificial Intelligence, European Conference,
JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings},
booktitle = {JELIA},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2424},
year = {2002},
isbn = {3-540-44190-5},
bibsource = {DBLP, http://dblp.uni-trier.de}
}