Logic and artificial intelligence (2003)

by R Thomason
Venue:Stanford Encyclopedia of Philosophy. Stanford University