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, Francesco Scarcello

WLP · 1997 · 11 citations · 0 references

Concepts