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.
@inproceedings{EiterLMPS98:0,
title = {The KR System dlv: Progress Report, Comparisons and Benchmarks},
author = {Thomas Eiter and Nicola Leone and Cristinel Mateis and Gerald Pfeifer and Francesco Scarcello},
year = {1998},
researchr = {https://researchr.org/publication/EiterLMPS98%3A0},
cites = {0},
citedby = {0},
pages = {406-417},
booktitle = {KR},
}