Book

Formalizing common sense

by McCarthy, John