TY  - JOUR
A1  - Anger, Christian
A1  - Konczak, Kathrin
A1  - Linke, Thomas
T1  - A system for non-monotonic reasoning under answer set semantics
Y1  - 2001
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/18368
SN  - 3-540-42593-4
ER  -