The KR System dlv: Progress Report, Comparisons and Benchmarks

Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello. The KR System dlv: Progress Report, Comparisons and Benchmarks. In KR. pages 406-417, 1998.

Abstract

Abstract is missing.