On Acyclic and Head-Cycle Free Nested Logic Programs.

Thomas Linke, Hans Tompits, Stefan Woltran

Browse the full ICLP paper archive.