"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