Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Biere, A., Tinelli, C., & Weidenbach, C. (2020). Preface to the Special Issue on Automated Reasoning Systems. Journal of Automated Reasoning, 64(3), 361-362. doi:10.1007/s10817-019-09531-1.