Jacobs, Swen Automation of Logic, MPI for Informatics, Max Planck Society;
Jacobs, S. (2004). Instance Generation Methods for Automated Reasoning. Diploma Thesis, Universität des Saarlandes, Saarbrücken, Saarland.