McCarthy, John (1986) Applications of Circumscription to Formalizing Common Sense Knowledge. [Journal (Paginated)]