1. Publisher's announcement

   Announcement Pages: v - v

2. A section is born: Studies in Automated Reasoning

   EditorialNotes Pages: 1 - 2

3. A mechanical proof of Quadratic Reciprocity

   • David M. Russinoff

   Studies in Automated Reasoning Pages: 3 - 21

4. Exploitation of parallel processing for implementing high-performance deduction systems

   • Anita Jindal
   • Ross Overbeek
   • Waldo C. Kabat

   OriginalPaper Pages: 23 - 38

5. A technical note on AC-Unification. The number of minimal unifiers of the equation αx₁ + ⋯ + αx_p ≐_AC βy₁ + ⋯ + βy_q

   • Eric Domenjoud

   OriginalPaper Pages: 39 - 44

6. Completeness of a prover for dense linear orders

   • Larry M. Hines

   OriginalPaper Pages: 45 - 75

7. An inexact reasoning algorithm based on fuzzy rule matrix transformations

   • Shyi-Ming Chen
   • Jyh-Sheng Ke
   • Jin-Fu Chang

   OriginalPaper Pages: 77 - 90

8. Automated deduction in von Neumann-Bernays-Gödel set theory

   • Art Quaife

   OriginalPaper Pages: 91 - 147