S PASS Version 2.0.

Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobalt, Dalibor Topic

Browse the full CADE paper archive.