The DLV System for Knowledge Representation and Reasoning (0)

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