Combining superposition, sorts and splitting (0)

by Christoph Weidenbach
Venue:In Robinson and Voronkov