1. Parthenon: A parallel theorem prover for non-horn clauses

   • Soumitra Bose
   • Edmund M. Clarke
   • Spiro Michaylov

   OriginalPaper Pages: 153 - 181

2. SETHEO: A high-performance theorem prover

   • R. Letz
   • J. Schumann
   • W. Bibel

   OriginalPaper Pages: 183 - 212

3. The linked inference principle, I: The formal treatment

   • Robert Veroff
   • Larry Wos

   OriginalPaper Pages: 213 - 274

4. An integral theorem prover and the role of proof planning

   • James D. Baker
   • Shahriar Zand-Biglari

   OriginalPaper Pages: 275 - 295

5. SLDNF-resolution with equality

   • J. C. Shepherdson

   OriginalPaper Pages: 297 - 306

6. The problem of choosing between using and avoiding equality predicates

   • Larry Wos

   Basic Research Problem Pages: 307 - 309