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