TY  - JOUR
A1  - Linke, Thomas
T1  - Using nested logic programs for answer set programming
Y1  - 2003
UR  - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/15816
UR  - http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-78/
SN  - 1613-0073
ER  -