Automated Reasoning: Introduction and Applications - Wos (Larry) (1984)
Automated Reasoning
Keywords: Automated Reasoning