TY  - JOUR
A1  - Linke, Thomas
A1  - Anger, Christian
A1  - Konczak, Kathrin
T1  - More on nomore
Y1  - 2002
SN  - 3-540-44190-5
ER  - 
TY  - JOUR
A1  - Linke, Thomas
A1  - Anger, Christian
A1  - Konczak, Kathrin
T1  - More on nomore
Y1  - 2002
ER  - 
TY  - JOUR
A1  - Anger, Christian
A1  - Konczak, Kathrin
A1  - Linke, Thomas
A1  - Schaub, Torsten H.
T1  - A Glimpse of Answer Set Programming
Y1  - 2005
UR  - http://www.cs.uni-potsdam.de/~konczak/Papers/ankolisc05.pdf
SN  - 0170-4516
ER  - 
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
SN  - 3-540-42254-4
ER  - 
TY  - JOUR
A1  - Anger, Christian
A1  - Konczak, Kathrin
A1  - Linke, Thomas
T1  - NoMoRe: Non-monotonic reasoning with logic programs
Y1  - 2002
SN  - 3-540-44190-5
ER  - 
TY  - JOUR
A1  - Anger, Christian
A1  - Konczak, Kathrin
A1  - Linke, Thomas
T1  - A system for non-monotonic reasoning under answer set semantics
Y1  - 2001
SN  - 3-540-42593-4
ER  -