The KR System dlv: Progress Report, Comparisons and Benchmarks.

Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello

Browse the full KR paper archive.