Combining Superposition, Sorts and Splitting (0)

by Christoph Weidenbach
Venue:Handbook of Automated Reasoning. North Holland, 2001. [ZZ95] Jian Zhang and Hantao