SPASS: Version 0.49 (1997)

by C Weidenbach
Venue:Journal of Automated Reasoning