System Description: Spass Version 1.0.0

• Ganzinger, H., Meyer, C. & Weidenbach, C. (1997), Soft typing for ordered resolution, in’ Proceedings of the 14th International Conference on Automated Deduction, CADE-14’, Vol. 1249 of LNAI, Springer, Townsville, Australia, pp. 321–335.

  Google Scholar 

• Hähnle, R., Kerber, M. & Weidenbach, C. (1996), Common syntax of the DFGSchwerpunktprogramm ℌDeduktion”, Interner Bericht 10/96, Universität Karlsruhe, Fakultät für Informatik, Germany.

  Google Scholar 

• Nonnengart, A., Rock, G. & Weidenbach, C. (1998), On generating small clause normal forms, in’ 15th International Conference on Automated Deduction, CADE-15’, Vol. 1421 of LNAI, Springer, pp. 397–411.

  Article  MathSciNet  Google Scholar 

• Sutcliffe, G. & Suttner, C. B. (1998), ‘The tptp problem library-cnf release v1.2.1’, Journal of Automated Reasoning 21(2), 177–203.

  Article  MATH  MathSciNet  Google Scholar 

• Weidenbach, C. (1999), Towards an automatic analysis of security protocols in firstorder logic, in H. Ganzinger, ed., ‘16th International Conference on Automated Deduction, CADE-16’, LNAI, Springer. This volume.

  Google Scholar 

• Weidenbach, C., Gaede, B. & Rock, G. (1996), Spass & flotter, version 0.42, in M. McRobbie & J. Slaney, eds, ’ 13th International Conference on Automated Deduction, CADE-13’, Vol. 1104 of LNAI, Springer, pp. 141–145.

  Google Scholar 

Download references