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