McCarthy, John (1980) Circumscription - A Form of Non-Monotonic Reasoning. [Preprint]