Etherington, D., Mercer, R. and Reiter, R. (1985). On the Adequacy of Predicate Circumscription for Closed-World Reasoning, Computational Intelligence 1.
Ketonen, Jussi and Joseph S. Weening (1984). EKL -- An Interactive Proof Checker, User's Reference Manual, Computer Science Department, Stanford University.
Ketonen, Jussi and Richard W. Weyhrauch (1984). A Decidable Fragment of Predicate Calculus, accepted for publication in the Journal for Theoretical Computer Science.
Lifschitz, Vladimir (1985). Computing Circumscription in Proc. IJCAI-85.
McCarthy, John (1959). Programs with Common Sense, in Proceedings of the Teddington Conference on the Mechanization of Thought Processes, London: Her Majesty's Stationery Office.
McCarthy, John and Patrick Hayes (1969). Some Philosophical Problems from the Standpoint of Artificial Intelligence, in B. Meltzer and D. Michie (eds), Machine Intelligence 4, Edinburgh University. (Reprinted in B. L. Webber and N. J. Nilsson (eds.), Readings in Artificial Intelligence, Tioga, 1981, pp. 431-450; also in M. J. Ginsberg (ed.), Readings in Nonmonotonic Reasoning, Morgan Kaufmann, 1987, pp. 26-45)
McCarthy, John (1977). Epistemological Problems of Artificial Intelligence, Proceedings of the Fifth International Joint Conference on Artificial Intelligence, M.I.T., Cambridge, Mass. (Reprinted in B. L. Webber and N. J. Nilsson (eds.), Readings in Artificial Intelligence, Tioga, 1981, pp. 459-465; also in M. J. Ginsberg (ed.), Readings in Nonmonotonic Reasoning, Morgan Kaufmann, 1987, pp. 46-52)
McCarthy, John (1979). First Order Theories of Individual Concepts and Propositions, in Michie, Donald (ed.) Machine Intelligence 9, Ellis Horwood.
McCarthy, John (1980). Circumscription -- A Form of Non-Monotonic Reasoning, Artificial Intelligence, Volume 13, Numbers 1,2. (Reprinted in B. L. Webber and N. J. Nilsson (eds.), Readings in Artificial Intelligence, Tioga, 1981, pp. 466-472; also in M. J. Ginsberg (ed.), Readings in Nonmonotonic Reasoning, Morgan Kaufmann, 1987, pp. 145-152)
McCarthy, John (1982). Common Business Communication Language, in Textverarbeitung und Bürosysteme, Albert Endres and Jürgen Reetz, eds. R. Oldenbourg Verlag, Munich and Vienna 1982.
Reiter, Raymond (1980a). A Logic for Default Reasoning, Artificial Intelligence, Volume 13, Numbers 1,2, April.
Reiter, Raymond (1980b). Equality and domain closure in first order data bases, J. ACM, 27, Apr. 1980, 235-249.
Reiter, Raymond (1982). Circumscription Implies Predicate Completion (Sometimes), Proceedings of the National Conference on Artificial Intelligence, AAAI-82, William Kaufman, Inc.