"On the adequacy of predicate circumscription for closed-world reasoning."

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