TY  - RPRT
TI  - DLV - A System for Declarative Problem Solving
AU  - Thomas Eiter
AU  - Wolfgang Faber
AU  - Christoph Koch
AU  - Nicola Leone
AU  - Gerald Pfeifer
PY  - 2000
UR  - https://arxiv.org/abs/cs/0003036
ID  - cs/0003036
ER  -