Rusev, Rostislav Automation of Logic, MPI for Informatics, Max Planck Society;
Rusev, R. (2008). Bitvector Reasoning with SPASS. Master Thesis, Universität des Saarlandes, Saarbrücken.