Teucke, Andreas Automation of Logic, MPI for Informatics, Max Planck Society;
Teucke, A. (2013). CDCL with Reduction. Master Thesis, Universität des Saarlandes, Saarbrücken.