1. The CADE-13 ATP System Competition

   • Geoff Sutcliffe
   • Christian Suttner

   OriginalPaper Pages: 137 - 138

2. The Design of the CADE-13 ATP System Competition

   • Christian Suttner
   • Geoff Sutcliffe

   OriginalPaper Pages: 139 - 162

3. The Procedures of the CADE-13 ATP System Competition

   • Geoff Sutcliffe
   • Christian Suttner

   OriginalPaper Pages: 163 - 169

4. Barcelona

   • Robert Nieuwenhuis
   • José Miguel Rivero
   • Miguel Ángel Vallejo

   OriginalPaper Pages: 171 - 176

5. CLIN-E - Smallest Instance First Hyper-Linking

   • Geoffrey D. Alexander

   OriginalPaper Pages: 177 - 182

6. CLIN-S - A Semantically Guided First-Order Theorem Prover

   • Heng Chu
   • David A. Plaisted

   OriginalPaper Pages: 183 - 188

7. DISCOUNT - A Distributed and Learning Equational Prover

   • Jörg Denzinger
   • Martin Kronenburg
   • Stephan Schulz

   OriginalPaper Pages: 189 - 198

8. Gandalf

   • Tanel Tammet

   OriginalPaper Pages: 199 - 204

9. LINUS - A Link Instantion Prover with Unit Support

   • Reinhold Letz

   OriginalPaper Pages: 205 - 210

10. Otter - The CADE-13 Competition Incarnations

    • William McCune
    • Larry Wos

    OriginalPaper Pages: 211 - 220

11. RRTP - A Replacement Rule Theorem Prover

    • M. Paramasivam
    • David A. Plaisted

    OriginalPaper Pages: 221 - 226

12. Satchmo - The Compiling and Functional Variants

    • Tim Geisler
    • Sven Panne
    • Heribert Schütz

    OriginalPaper Pages: 227 - 236

13. SETHEO and E-SETHEO - The CADE-13 Systems

    • Max Moser
    • Ortrun Ibens
    • Klaus Mayr

    OriginalPaper Pages: 237 - 246

14. SPASS - Version 0.49

    • Christoph Weidenbach

    OriginalPaper Pages: 247 - 252

15. SPTHEO - A Parallel Theorem Prover

    • Christian B. Suttner

    OriginalPaper Pages: 253 - 258

16. Violet

    • Steve Greenbaum

    OriginalPaper Pages: 259 - 264

17. WALDMEISTER - High-Performance Equational Deduction

    • Thomas Hillenbrand
    • Arnim Buch
    • Bernd Löchner

    OriginalPaper Pages: 265 - 270

18. The Results - of the CADE-13 ATP System Competition

    • Geoff Sutcliffe
    • Christian Suttner

    OriginalPaper Pages: 271 - 286

19. Conclusions about the CADE-13 ATP System Competition

    • Francis Jeffry Pelletier
    • Geoff Sutcliffe
    • Christian Suttner

    OriginalPaper Pages: 287 - 296