The DLV System for Knowledge Representation and Reasoning (2006)

by N LEONE, G PFEIFER, W FABER, T EITER, G GOTTLOB, S PERRI, F SCARCELLO
Venue:ACM Transactions on Computational Logic