1. Knowledge Compilation Using the Extension Rule

   • Lin Hai
   • Sun Jigui

   OriginalPaper Pages: 93 - 102

2. Fast Term Indexing with Coded Context Trees

   • Harald Ganzinger
   • Robert Nieuwenhuis
   • Pilar Nivela

   OriginalPaper Pages: 103 - 120

3. A Matrix Characterization for Multiplicative Exponential Linear Logic

   • Christoph Kreitz
   • Heiko Mantel

   OriginalPaper Pages: 121 - 166

4. Top-Down Query Processing in First-Order Deductive Databases under the DWFS

   • C. A. Johnson

   OriginalPaper Pages: 167 - 184