SPASS: Combining Superposition, Sorts and Splitting Christoph Weidenbach Max-Planck-Institute for Computer Science Presented.