1. Proof strategies in linear logic

   • Tanel Tammet

   OriginalPaper Pages: 273 - 304

2. A semantics for a class of non-deterministic and causal production system programs

   • Louiqa Raschid
   • Jorge Lobo

   OriginalPaper Pages: 305 - 349

3. An extension of a procedure to prove statements in differential geometry

   • Giuseppa Carra' Ferro

   OriginalPaper Pages: 351 - 358

4. Improving the efficiency of a hyperlinking-based theorem prover by incremental evaluation with network structures

   • Shie-Jue Lee
   • Chih-Hung Wu

   OriginalPaper Pages: 359 - 388

5. Reduction and unification in lambda calculi with a general notion of subtype

   • Zhenyu Qian
   • Tobias Nipkow

   OriginalPaper Pages: 389 - 406

6. The problem of hyperparamodulation and nuclei

   • Larry Wos

   Basic Research Problems Pages: 407 - 409

7. Errata

   Erratum Pages: 411 - 412