1. Resolving contradictions: A plausible semantics for inconsistent systems

   • Eliezer L. Lozinskii

   OriginalPaper Pages: 1 - 31

2. Introduction to the OBDD algorithm for the ATP community

   • J Strother Moore

   OriginalPaper Pages: 33 - 45

3. TMPR: A tree-structured modified problem reduction proof procedure and its extension to three-valued logic

   • Taäieb Mellouli

   OriginalPaper Pages: 47 - 87

4. Tractability through symmetries in propositional calculus

   • Belaid Benhamou
   • Lakhdar Sais

   OriginalPaper Pages: 89 - 102

5. Resolution theorem proving in reified modal logics

   • J. Stuart Aitken
   • Han Reichgelt
   • Nigel Shadbolt

   OriginalPaper Pages: 103 - 129

6. Book review

   • Simon Parsons

   BookReview Pages: 131 - 132

7. The problem of strategy and hyperresolution

   • Larry Wos

   Basic Research Problems Pages: 133 - 134