1. A prolog technology theorem prover: Implementation by an extended prolog compiler

   • Mark E. Stickel

   OriginalPaper Pages: 353 - 380

2. Unification in Boolean rings

   • Ursula Martin
   • Tobias Nipkow

   OriginalPaper Pages: 381 - 396

3. Inferring negative information from disjunctive databases

   • Kenneth A. Ross
   • Rodney W. Topor

   OriginalPaper Pages: 397 - 424

4. A new reduction rule for the connection graph proof procedure

   • Klaus Heje Munch

   OriginalPaper Pages: 425 - 444

5. Inference rules using local contexts

   • Leonard G. Monk

   OriginalPaper Pages: 445 - 462

6. The problem of self-analytically choosing the weights

   • Larry Wos

   Basic Research Problem Pages: 463 - 464

7. Opening the AC-unification race

   • Hans-Jürgen Bürckert
   • Alexander Herold
   • Hantao Zhang

   Problem Corner Pages: 465 - 474