Fast Term Indexing with Coded Context Trees Harald GanzingerRobert NieuwenhuisPilar Nivela OriginalPaper Pages: 103 - 120
A Matrix Characterization for Multiplicative Exponential Linear Logic Christoph KreitzHeiko Mantel OriginalPaper Pages: 121 - 166
Top-Down Query Processing in First-Order Deductive Databases under the DWFS C. A. Johnson OriginalPaper Pages: 167 - 184