Book

Automated Reasoning

by Ulrich Furbach, Natarajan Shankar