Book

Automated Reasoning and Its Applications

by Robert Veroff