Automation of Reasoning: Classical papers on computational logic, chapter The prehistory and early history of automated deduction (1983)

by Martin Davis