"Supported Circumscription and Its Relation to Logic Programming with Negation."

Jia-Huai You, Liwu Li (1989)
a service of Schloss Dagstuhl - Leibniz Center for Informatics