Stem spass$ (all stems)
5 papers:
CADE-2011-Horbach11a- System Description: SPASS-FD (MH), pp. 331–337.
- CADE-2009-WeidenbachDFKSW
- SPASS Version 3.5 (CW, DD, AF, RK, MS, PW), pp. 140–145.
- CADE-2007-WeidenbachSHRT
- System Description: SpassVersion 3.0 (CW, RAS, TH, RR, DT), pp. 514–520.
- CADE-1999-Weidenbach99a
- System Description: Spass Version 1.0.0 (CW), pp. 378–382.
- CADE-1996-WeidenbachGR
- SPASS & FLOTTER Version 0.42 (CW, BG, GR), pp. 141–145.