A Proposal for the Dartmouth Summer Research Project on Artificial Intelligence
www-formal.stanford.edu