3 works on record
Automated Model Building
Logic for Computer Science and Artificial Intelligence
Automated Deduction in Classical and Non-Classical Logics