J. McCarthy. Circumscription a form of non-monotonic reasoning. Artificial Intelligence, 13 27-39, 171-172, 1980.
author author title title title title title title journal journal volume pages pages date