1. Note on verification

   • Robert Boyer

   BriefCommunication Pages: 125 - 125

2. The notion of proof in hardware verification

   • Avra Cohn

   OriginalPaper Pages: 127 - 139

3. Solving open problems in right alternative rings with Z-module reasoning

   • Tie-Cheng Wang
   • Rick Stevens

   OriginalPaper Pages: 141 - 165

4. On the declarative and procedural semantics of logic programs

   • Teodor C. Przymusinski

   OriginalPaper Pages: 167 - 205

5. A fuzzy expert system shell using both exact and inexact reasoning

   • K. S. Leung
   • W. Lam

   OriginalPaper Pages: 207 - 233

6. The problem of determining the size of a complete set of reductions

   • Larry Wos

   Basic Research Problem Pages: 235 - 237

7. Automated reasoning about elementary point-set topology

   • Cynthia A. Wick
   • William W. McCune

   Problem Corner Pages: 239 - 255