@article{LinkeTompitsWoltran2004, author = {Thomas Linke and Hans Tompits and Stefan Woltran}, title = {On acyclic and head-cycle free nested logic programs}, year = {2004}, }