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