The DLV System - Leone, N; Pfeifer, G; Faber, W; Calimeri, F; Dell'Armi, T; Eiter, T; Gottlob, G; Ianni, G; Ielpa, G; Koch, C; Perri, S; Polleres, A (Springer, 2002)