The DLV System for Knowledge Representation and Reasoning af Leone, N, Pfeifer, G, Faber, W, Eiter, T, Gottlob, G, Perri, S, Scarcello, F

The DLV system for knowledge representation and reasoning af Leone, N, Pfeifer, G, Faber, W, Eiter, T, Gottlob, G, Perri, S, Scarcello, F

The dlv System: Model Generator and Advanced Frontends (system description) af Citrigno, S, Eiter, T, Faber, W, Gottlob, G, Koch, C, Leone, N, Mateis, C, Pfeifer, G, Scarcello, F

The DLV System af 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