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
Citations:322 - 79 self