David W. Etherington Robert E. Mercer Raymond Reiter On the Adequacy of Predicate Circumscription for Closed-World Reasoning. 70-81 1984 NMR db/conf/nmr/nmr1984.html#EtheringtonMR84