Media type: E-Article Title: Automated Deduction – CADE-22: SPASS Version 3.5 Contributor: Weidenbach, Christoph; Dimova, Dilyana; Fietzke, Arnaud; Kumar, Rohit; Suda, Martin; Wischnewski, Patrick Published: Springer Berlin Heidelberg, 2009 Published in: Automated Deduction – CADE-22 (2009), Seite 140-145 Language: Not determined DOI: 10.1007/978-3-642-02959-2_10 ISBN: 9783642029592; 9783642029585 ISSN: 0302-9743; 1611-3349 Origination: Footnote: