TY  - RPRT
TI  - The DLV System for Knowledge Representation and Reasoning
AU  - Nicola Leone
AU  - Gerald Pfeifer
AU  - Wolfgang Faber
AU  - Thomas Eiter
AU  - Georg Gottlob
AU  - Simona Perri
AU  - Francesco Scarcello
PY  - 2003
DO  - 10.1145/1149114.1149117
UR  - https://arxiv.org/abs/cs/0211004
ID  - cs/0211004
ER  -