"On the existence of stable models of non-stratified logic programs."

Stefania Costantini (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics