Knowledge Processing and Information Systems
On Acyclic and Head-Cycle Free Nested Logic Programs

@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}
}