1. Automated discovery of new axiomatizations of the left group and right group calculi

   • William W. Mccune

   Studies in Automated Reasoning Pages: 1 - 24

2. Eliminating duplication with the hyper-linking strategy

   • Shie-Jue Lee
   • David A. Plaisted

   Studies in Automated Reasoning Pages: 25 - 42

3. Recognizing unnecessary clauses in resolution based systems

   • Dan Benanav

   Studies in Automated Reasoning Pages: 43 - 76

4. How to avoid the derivation of redundant clauses in reasoning systems

   • Rolf Socher-Ambrosius

   Studies in Automated Reasoning Pages: 77 - 97

5. Tableaux and sequent calculus for minimal entailment

   • Nicola Olivetti

   Studies in Automated Reasoning Pages: 99 - 139

6. The problem of demodulation during inference rule application

   • Larry Wos

   Basic Research Problems Pages: 141 - 143