1. A Completion Procedure for Finitely Presented Groups That Is Based on Word Cycles

   • Robert Cremanns
   • Friedrich Otto

   OriginalPaper Pages: 235 - 256

2. A General Setting for Flexibly Combining and Augmenting Decision Procedures

   • Predrag Janičić
   • Alan Bundy

   OriginalPaper Pages: 257 - 305

3. The IJCAR ATP System Competition

   • G. Sutcliffe
   • C. B. Suttner
   • F. J. Pelletier

   OriginalPaper Pages: 307 - 320

4. Autarkic Computations in Formal Proofs

   • Henk Barendregt
   • Erik Barendsen

   OriginalPaper Pages: 321 - 336