Weidenbach, C., Meyer, C., Cohrs, C., Engel, T., & Keen, E. (1998). SPASS V0.77. Journal of Automated Reasoning, 21(1), 113-113.