2002
S PASS Version 2.0.
[DOI]
Christoph Weidenbach
,
Uwe Brahm
,
Thomas Hillenbrand
,
Enno Keen
,
Christian Theobalt
,
Dalibor Topic
Proceedings of the Automated Deduction, 2002