1. Experiments with semantic paramodulation

   • William McCune
   • Lawrence Henschen

   OriginalPaper Pages: 231 - 261

2. Incidence calculus: A mechanism for probabilistic reasoning

   • Alan Bundy

   OriginalPaper Pages: 263 - 283

3. Writing programs that construct proofs

   • R. L. Constable
   • T. B. Knoblock
   • J. L. Bates

   OriginalPaper Pages: 285 - 326

4. The lion and the unicorn

   • H. J. Ohlbach
   • M. Schmidt-Schauss

   Problem Corner Pages: 327 - 332