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/14299 ER -