System Description: Spass Version 1.0.0
- 1 January 1999
- book chapter
- Published by Springer Nature
- p. 378-382
- https://doi.org/10.1007/3-540-48660-7_34
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Towards an Automatic Analysis of Security Protocols in First-Order LogicPublished by Springer Nature ,1999
- On generating small clause normal formsPublished by Springer Nature ,1998
- The TPTP Problem LibraryJournal of Automated Reasoning, 1998
- Soft typing for ordered resolutionPublished by Springer Nature ,1997
- SPASS & FLOTTER version 0.42Lecture Notes in Computer Science, 1996