Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Weidenbach, C. (1999). SPASS V0.95TPTP. Journal of Automated Reasoning, 23(1), 21-21.