The dlv System: Model Generator and Advanced Frontends (system description)

Simona Citrigno‚ Thomas Eiter‚ Wolfgang Faber‚ Georg Gottlob‚ Christoph Koch‚ Nicola Leone‚ Cristinel Mateis‚ Gerald Pfeifer and Francesco Scarcello