Automated Reasoning: Introduction and Applications, 2nd edition (1992)

by L Wos, R Overbeek, E Lusk, J Boyle