1979b): "First Order Theories of Individual Concepts and Propositions (1990)

by John McCarthy
Venue:Machine Intelligence 9, (University of Edinburgh