Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Weidenbach, C. (1997). SPASS Version 0.49. Journal of Automated Reasoning, 18(2), 247-252.