The DLV System for Knowledge Representation and Reasoning (2002)

by Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
Venue:ACM Transactions on Computational Logic