@inproceedings{conf/jelia/LeonePFCDEGIIKPP02, title = "The DLV System", 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", year = "2002", booktitle = "{Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings}", editor = "Sergio Flesca and Sergio Greco and Nicola Leone and Giovambattista Ianni", isbn = "3-540-44190-5", pages = "537-540", publisher = "Springer", series = "Lecture Notes in Computer Science", url = "http://link.springer.de/link/service/series/0558/bibs/2424/24240537.htm", volume = "2424", }