On Acyclic and Head-Cycle Free Nested Logic Programs.

Thomas Linke Hans Tompits Stefan Woltran On Acyclic and Head-Cycle Free Nested Logic Programs. 225-239 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3132&spage=225 2004 conf/iclp/2004 ICLP db/conf/iclp/iclp2004.html#LinkeTW04