Uniform strategies: The CADE-11 theorem proving contest Ewing L. LuskWilliam W. McCune OriginalPaper Pages: 317 - 331
Automated proofs of equality problems in Overbeek's competition Hantao Zhang OriginalPaper Pages: 333 - 351
Set theory for verification: I. From foundations to functions Lawrence C. Paulson OriginalPaper Pages: 353 - 389
−-match: An inference rule for incrementally elaborating set instantiations Sidney C. BailinDave Barker-Plummer OriginalPaper Pages: 391 - 428