Christoph Weidenbach Dilyana Dimova Arnaud Fietzke Rohit Kumar Martin Suda Patrick Wischnewski SPASS Version 3.5. 140-145 2009 CADE http://dx.doi.org/10.1007/978-3-642-02959-2_10 conf/cade/2009 db/conf/cade/cade2009.html#WeidenbachDFKSW09