S PASS Version 2.0. - Christoph Weidenbach; Uwe Brahm; Thomas Hillenbrand; Enno Keen; Christian Theobalt; Dalibor Topic (CADE, 2002)

System Description: SpassVersion 3.0. - Christoph Weidenbach; Renate A. Schmidt; Thomas Hillenbrand; Rostislav Rusev; Dalibor Topic (CADE, 2007)