TY - JOUR A1 - Linke, Thomas A1 - Tompits, Hans A1 - Woltran, Stefan T1 - On Acyclic and head-cycle free nested logic programs Y1 - 2004 UR - https://publishup.uni-potsdam.de/frontdoor/index/index/docId/14297 SN - 3-540-22671-01 ER -