1. Implicit induction in conditional theories

   • Adel Bouhoula
   • Michaël Rusinowitch

   OriginalPaper Pages: 189 - 235

2. Theorem proving for intensional logic

   • Allan Ramsay

   OriginalPaper Pages: 237 - 255

3. Automated production of traditional proofs in solid geometry

   • Shang-Ching Chou
   • Xiao-Shan Gao
   • Jing-Zhong Zhang

   OriginalPaper Pages: 257 - 291

4. A path ordering for proving termination of AC rewrite systems

   • Deepak Kapur
   • G. Sivakumar
   • Hantao Zhang

   OriginalPaper Pages: 293 - 316

5. On the complexity of nested-object matching

   • Kumar V. Vadaparty

   OriginalPaper Pages: 317 - 323

6. SATCHMORE: SATCHMO with RElevancy

   • Donald W. Loveland
   • David W. Reed
   • Debra S. Wilson

   OriginalPaper Pages: 325 - 351