The DLV System for Knowledge Representation and Reasoning

Nicola Leone‚ Gerald Pfeifer‚ Wolfgang Faber‚ Thomas Eiter‚ Georg Gottlob‚ Simona Perri and Francesco Scarcello