More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification | SPP 1496 - RS3

Reliably Secure Software Systems (RS³) –
DFG Priority Programme 1496

J. C. Blanchette, Popescu, A., Wand, D., and Weidenbach, C., “More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification”, in Proceedings of the 3rd Conference on Interactive Theorem Proving (ITP 2012), 2012.