Knowledge Compilation Using the Extension Rule*
Fast Term Indexing with Coded Context Trees*
A Matrix Characterization for Multiplicative Exponential Linear Logic*
Top-Down Query Processing in First-Order Deductive Databases under the DWFS