@inproceedings{DBLP:conf/iclp/LinkeTW04, author = {Linke, Thomas and Tompits, Hans and Woltran, Stefan}, title = {On Acyclic and Head-Cycle Free Nested Logic Programs}, booktitle = {{ICLP}}, series = {Lecture Notes in Computer Science}, volume = {3132}, pages = {225--239}, publisher = {Springer}, year = {2004} }