Knowledge Processing and Information Systems
On acyclic and head-cycle free nested logic programs

@inproceedings{DBLP:conf/nmr/LinkeTW04,
  title = {On acyclic and head-cycle free nested logic programs},
  author = {Linke, Thomas and Tompits, Hans and Woltran, Stefan},
  booktitle = {{NMR}},
  pages = {267--275},
  year = {2004}
}