Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
http://drops.dagstuhl.de/opus/volltexte/2014/4425/ (Publisher version)
Bjørner, N., Hähnle, R., Nipkow, T., & Weidenbach, C. (Eds.). (2014). Deduction and Arithmetic. Wadern: Schloss Dagstuhl. doi:10.4230/DagRep.3.10.1.