Publications related to SPASS

  • Weidenbach C., Dimova D., Fietzke A., Kumar R., Suda M. and Wischnewski P., 2009, SPASS Version 3.5. in 22nd International Conference on Automated Deduction, CADE 2009, LNCS 5663, pp. 140-145.
    [PDF], The original publication is available at
  • Fietzke, A. and Weidenbach, C., 2008, Labelled Splitting in 4th International Joint Conference on Automated Reasoning, IJCAR 2008, LNCS 5195, pp. 459-474.
  • Weidenbach, C., Wischnewski, P., 2008, Contextual Rewriting in SPASS in PAAR/ESHOL 2008, CEUR Workshop Proceedings 373, pp. 115-124.