Book

Automated reasoning and its applications

by Larry Wos, Robert Veroff, Gail W. Pieper