More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification.

Jasmin Christian Blanchette, Andrei Popescu, Daniel Wand, Christoph Weidenbach

Browse the full ITP paper archive.