Weidenbach, Christoph Automation of Logic, MPI for Informatics, Max Planck Society; Programming Logics, MPI for Informatics, Max Planck Society;
Weidenbach, C. (2001). Combining Superposition, Sorts and Splitting. In A. Robinson, & A. Voronkov (Eds.), Handbook of Automated Reasoning (pp. 1965-2013). Amsterdam: Elsevier.