TY  - JOUR
A1  - Linke, Thomas
A1  - Tompits, Hans
A1  - Woltran, Stefan
T1  - On Acyclic and head-cycle free nested logic programs
Y1  - 2004
SN  - 3-540-22671-01
ER  - 
TY  - JOUR
A1  - Linke, Thomas
A1  - Tompits, Hans
A1  - Woltran, Stefan
T1  - On acyclic and head-cycle free nested logic programs
Y1  - 2004
ER  - 
TY  - JOUR
A1  - Linke, Thomas
T1  - Suitable graphs for answer set programming
Y1  - 2003
UR  - http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-78/
SN  - 1613-0073
ER  - 
TY  - JOUR
A1  - Linke, Thomas
T1  - Using nested logic programs for answer set programming
Y1  - 2003
UR  - http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-78/
SN  - 1613-0073
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  - Linke, Thomas
A1  - Anger, Christian
A1  - Konczak, Kathrin
T1  - More on nomore
Y1  - 2002
SN  - 3-540-44190-5
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  - 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
T1  - A system for non-monotonic reasoning under answer set semantics
Y1  - 2001
SN  - 3-540-42593-4
ER  - 
TY  - JOUR
A1  - Linke, Thomas
T1  - Graph theoretical characterization and computation of answer sets
Y1  - 2001
SN  - 1-558-60777-3
SN  - 1045-0823
ER  -