Book

Automated reasoning

by Larry Wos