The DLV System for Knowledge Representation and Reasoning - Leone, N; Pfeifer, G; Faber, W; Eiter, T; Gottlob, G; Perri, S; Scarcello, F (2002)