Principles of Automated Theorem Proving

Automated theorem proving is an important area of research having many applications within computer science. This book is a study of automatic theorem proving techniques (for first-order logic) which are currently attracting widespread interest.