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.
No references recorded for this publication.
No citations of this publication recorded.