1. Some group theoretic examples with completion theorem provers

   • S. Linton
   • D. Shand

   OriginalPaper Pages: 145 - 169

2. Model theoretic approach to view updates in deductive databases

   • José Alberto Fernández
   • John Grant
   • Jack Minker

   OriginalPaper Pages: 171 - 197

3. On the completeness of SLDENF-resolution

   • Michael Thielscher

   OriginalPaper Pages: 199 - 214

4. OTTER and the Moufang identity problem

   • Larry Wos

   OriginalPaper Pages: 215 - 257