| 1 | -- | 4 | Larry M. Hines. A Tribute to Woody Bledsoe |
| 5 | -- | 24 | Rong-Huei Hou, Tzung-Pei Hong, Shian-Shyong Tseng, Sy-Yen Kuo. A New Probabilistic Induction Method |
| 25 | -- | 46 | Grigoris Antoniou, Elmar Langetepe. A Correct Logic Programming Computation of Default Logic Extensions |
| 47 | -- | 83 | Anavai Ramesh, Bernhard Beckert, Reiner Hähnle, Neil V. Murray. Fast Subsumption Checks Using Anti-Links |
| 85 | -- | 104 | Simon Finn, Michael P. Fourman, John Longley. Partial Functions in a Total Setting |
| 105 | -- | 134 | Li Dafa. Unification Algorithms for Eliminating and Introducing Quantifiers in Natural Deduction Automated Theorem Proving |
| 135 | -- | 0 | Francis Jeffry Pelletier, Geoff Sutcliffe. An Erratum for Some Errata to ATP Problems |