Weidenbach, C. (2001). Combining Superposition, Sorts and Splitting. In A., Robinson, & A., Voronkov (Eds.), Handbook of Automated Reasoning (pp. 1965-2013). Amsterdam: Elsevier.