Wand, Daniel Automation of Logic, MPI for Informatics, Max Planck Society;
Wand, D. (2016). More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification. Master Thesis, Universität des Saarlandes, Saarbrücken.