Handbook of automated reasoning by Robinson, J. A., Voronkov, Andrei, 1959- 0 Type: Book Handbook of Automated Reasoning.