Artificial intelligence, logic and formalizing common sense (1989)

by John McCarthy
Venue:Philosophical Logic and Artificial Intelligence. Klüver Academic