@InCollection{Wei01,
    Author       = "Weidenbach, C.",
    Year         = "2001",
    Title        = "{Combining Superposition, Sorts and Splitting}",
    Editor       = "Robinson, A. and Voronkov, A.",
    BookTitle    = "{Handbook of Automated Reasoning}",
    Pages        = "1965-2011",
    Publisher    = "Elsevier Science",
    Address      = "Amsterdam, The Netherlands",
    Comment      = "TPTPCite,TPTPRefForResults"
}