1. Note on McCune's article on discrimination trees

   • Larry Wos

   BriefCommunication Pages: 145 - 146

2. Experiments with discrimination-tree indexing and path indexing for term retrieval

   • William McCune

   OriginalPaper Pages: 147 - 167

3. Hilbert's tenth problem is of unification type zero

   • Mark Franzen

   OriginalPaper Pages: 169 - 178

4. A logic for reasoning with inconsistency

   • Michael Kifer
   • Eliezer L. Lozinskii

   OriginalPaper Pages: 179 - 215

5. Uncertainty management with imprecise knowledge with application to design

   • Donald E. Brown
   • Wendy J. Markert

   OriginalPaper Pages: 217 - 230

6. CLP(ℜ) and some electrical engineering problems

   • Nevin Heintze
   • Spiro Michaylov
   • Peter Stuckey

   OriginalPaper Pages: 231 - 260

7. Complexity of unification problems with associative-commutative operators

   • Deepak Kapur
   • Paliath Narendran

   OriginalPaper Pages: 261 - 288

8. The problem of demodulator adjunction

   • Larry Wos

   Basic Research Problems Pages: 289 - 290