Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society;
Weidenbach, C. (2015). Automated Reasoning Building Blocks. In R. Meyer, A. Platzer, & H. Wehrheim (Eds.), Correct System Design (pp. 172-188). Berlin: Springer. doi:10.1007/978-3-319-23506-6_12.