TY  - RPRT
TI  - QUIP - A Tool for Computing Nonmonotonic Reasoning Tasks
AU  - Uwe Egly
AU  - Thomas Eiter
AU  - Hans Tompits
AU  - Stefan Woltran
PY  - 2000
UR  - https://arxiv.org/abs/cs/0003037
ID  - cs/0003037
ER  -