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