@article{LinkeTompitsWoltran2004, author = {Linke, Thomas and Tompits, Hans and Woltran, Stefan}, title = {On acyclic and head-cycle free nested logic programs}, year = {2004}, language = {en} } @article{LinkeTompitsWoltran2004, author = {Linke, Thomas and Tompits, Hans and Woltran, Stefan}, title = {On Acyclic and head-cycle free nested logic programs}, isbn = {3-540-22671-01}, year = {2004}, language = {en} } @article{BoeselLinkeSchaub2004, author = {Boesel, Andreas and Linke, Thomas and Schaub, Torsten H.}, title = {Profiling answer set programming : the visualization component of the noMoRe System}, isbn = {3-540-23242-7}, year = {2004}, language = {en} } @article{KonczakLinkeSchaub2004, author = {Konczak, Kathrin and Linke, Thomas and Schaub, Torsten H.}, title = {Graphs and cologings for answer set programming : adridged report}, isbn = {3-540- 20721-x}, year = {2004}, language = {en} }