System Description: SpassVersion 3.0.

Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic

Browse the full CADE paper archive.