1. Using hints to increase the effectiveness of an automated reasoning program: Case studies

   • Robert Veroff

   Studies in Automated Reasoning Pages: 223 - 239

2. Linear and unit-resulting refutations for Horn theories

   • Peter Baumgartner

   Research Article Pages: 241 - 319

3. TPS: A theorem-proving system for classical type theory

   • Peter B. Andrews
   • Matthew Bishop
   • Hongwei Xi

   Research Article Pages: 321 - 353

4. On the completeness of incidence calculus

   • Lusheng Wang
   • S. K. M. Wong
   • Y. Y. Yao

   Research Article Pages: 355 - 368

5. A type-theoretic interpretation of constructive domain theory

   • Michael Hedberg

   Research Article Pages: 369 - 425

6. From logic to logic programming

   • Charles Ashbacher

   Book Review Pages: 427 - 427