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