Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Demri, S., Kapur, D., & Weidenbach, C. (Eds.). (2014). Automated Reasoning. Berlin: Springer. doi:10.1007/978-3-319-08587-6.