Automation of Reasoning: 2: Classical Papers on Computational Logic 1967–1970 1983 · ENGLISH · PDF View details →