Combining superposition, sorts and splitting (0)

by C Weidenbach
Venue:In Robinson and Voronkov [231