1. Word unification and transformation of generalized equations

   • Klaus U. Schulz

   OriginalPaper Pages: 149 - 184

2. Competing for theAC-Unification Race

   • Alexandre Boudet

   OriginalPaper Pages: 185 - 212

3. IMPS: An interactive mathematical proof system

   • William M. Farmer
   • Joshua D. Guttman
   • F. Javier Thayer

   OriginalPaper Pages: 213 - 248

4. View updates in stratified disjunctive databases

   • John Grant
   • John Horty
   • Jack Minker

   OriginalPaper Pages: 249 - 267

5. Inference flexibility in Horn clause knowledge bases and the simplex method

   • Jinchang Wang

   OriginalPaper Pages: 269 - 288

6. The problem of reasoning by case analysis

   • Larry Wos

   Basic Research Problems Pages: 289 - 291