Automated Reasoning and Its Applications by Xiao-Shan Gao & Lawrence Henschen