Rusev, R. (2008). Bitvector Reasoning with SPASS. Master Thesis, Universität des Saarlandes, Saarbrücken.