Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello. The dlv System: Model Generator and Advanced Frontends (system description). In WLP. 1997.
Abstract is missing.