1. A Tribute to Woody Bledsoe

   • Larry Hines

   OriginalPaper Pages: 1 - 4

2. A New Probabilistic Induction Method

   • Rong-Huei Hou
   • Tzung-Pei Hong
   • Sy-Yen Kuo

   OriginalPaper Pages: 5 - 24

3. A Correct Logic Programming Computation of Default Logic Extensions

   • Grigoris Antoniou
   • Elmar Langetepe

   OriginalPaper Pages: 25 - 46

4. Fast Subsumption Checks Using Anti-Links

   • Anavai Ramesh
   • Bernhard Beckert
   • Neil V. Murray

   OriginalPaper Pages: 47 - 83

5. Partial Functions in a Total Setting

   • Simon Finn
   • Michael P. Fourman
   • John Longley

   OriginalPaper Pages: 85 - 104

6. Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving

   • Li Dafa

   OriginalPaper Pages: 105 - 134

7. An Erratum for Some Errata to ATP Problems

   • FRANCIS JEFFRY PELLETIER
   • GEOFF SUTCLIFFE

   OriginalPaper Pages: 135 - 135