Title: Automation of Reasoning: 2: Classical Papers on Computational Logic 1967-1970, Author: J. Siekmann
Title: Automation of Reasoning: Classical Papers on Computational Logic 1957-1966, Author: J. Siekmann