"On Acyclic and Head-Cycle Free Nested Logic Programs."

Thomas Linke, Hans Tompits, Stefan Woltran (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics