Thomas Linke, Hans Tompits, Stefan Woltran
On Acyclic and Head-Cycle Free Nested Logic Programs
ICLP, 2004.
@inproceedings{ICLP-2004-LinkeTW,
author = "Thomas Linke and Hans Tompits and Stefan Woltran",
booktitle = "{Proceedings of the 20th International Conference on Logic Programming}",
doi = "10.1007/978-3-540-27775-0_16",
isbn = "3-540-22671-0",
pages = "225--239",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{On Acyclic and Head-Cycle Free Nested Logic Programs}",
volume = 3132,
year = 2004,
}











