| 2008 | On the Relative Succinctness of Nondeterministic Bchi and co-Bchi Word Automata. | Benjamin Aminof, Orna Kupferman, Omer Lev |
| 2008 | Improving Context-Sensitive Dependency Pairs. | Beatriz Alarcn, Fabian Emmes, Carsten Fuhs, Jrgen Giesl, Ral Gutirrez, Salvador Lucas, Peter Schneider-Kamp, Ren Thiemann |
| 2008 | Weak beta-theta-Normalization and Normalization by Evaluation for System F. | Andreas Abel |
| 2007 | Whatever Happened to Deductive Question Answering? | Richard J. Waldinger |
| 2007 | ATP Cross-Verification of the Mizar MPTP Challenge Problems. | Josef Urban, Geoff Sutcliffe |
| 2007 | \mathbb | Mantas Simkus, Thomas Eiter |
| 2007 | Completeness for Flat Modal Fixpoint Logics. | Luigi Santocanale, Yde Venema |
| 2007 | On the Notion of Vacuous Truth. | Marko Samer, Helmut Veith |
| 2007 | Algorithms for Propositional Model Counting. | Marko Samer, Stefan Szeider |
| 2007 | Permutative Additives and Exponentials. | Gabriele Pulcini |
| 2007 | Approved Models for Normal Logic Programs. | Lus Moniz Pereira, Alexandre Miguel Pinto |
| 2007 | Faster Phylogenetic Inference with MXG. | David G. Mitchell, Faraz Hach, Raheleh Mohebali |
| 2007 | Complexity of Planning in Action Formalisms Based on Description Logics. | Maja Milicic |
| 2007 | The Separation Theorem for Differential Interaction Nets. | Damiano Mazza, Michele Pagani |
| 2007 | Integrating Inductive Definitions in SAT. | Maarten Marin, Johan Wittocx, Marc Denecker |
| 2007 | From Hilbert's Program to a Logic Toolbox. | Johann A. Makowsky |
| 2007 | Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic. | Roberto Maieli |
| 2007 | An Extension of the Knuth-Bendix Ordering with LPO-Like Properties. | Michel Ludwig, Uwe Waldmann |
| 2007 | Data Complexity in the | Adila Krisnadhi, Carsten Lutz |
| 2007 | On Finite Satisfiability of the Guarded Fragment with Equivalence or Transitive Guards. | Emanuel Kieronski, Lidia Tendera |
| 2007 | How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited. | Yevgeny Kazakov, Ulrike Sattler, Evgeny Zolin |
| 2007 | Why Would You Trust | ric Jaeger, Catherine Dubois |
| 2007 | On Two Extensions of Abstract Categorial Grammars. | Philippe de Groote, Sarah Maarek, Ryo Yoshinaka |
| 2007 | Preferential Description Logics. | Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato |
| 2007 | Enriched -Calculus Pushdown Module Checking. | Alessandro Ferrante, Aniello Murano, Mimmo Parente |