F.: The DLV System for Knowledge Representation and Reasoning (2006)

by N Leone, G Pfeifer, W Faber, T Eiter, G Gottlob, S Perri, Scarcello
Venue:ACM Transactions on Computational Logic