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 Trans. Comput. Log.