"On the Adequacy of Predicate Circumscription for Closed-World Reasoning."

David W. Etherington, Robert E. Mercer, Raymond Reiter (1984)
a service of Schloss Dagstuhl - Leibniz Center for Informatics