Weidenbach, C., Brahm, U., Hillenbrand, T., Keen, E., Theobalt, C., & Topić, D. (2002). SPASS Version 2.0. In Automated deduction, CADE-18: 18th International Conference on Automated Deduction (pp. 275-279). Heidelberg, Germany: Springer.