| 2003 | Completeness of E-Unification with Eager Variable Elimination. | Barbara Morawska |
| 2003 | A Formal Proof of Dickson's Lemma in ACL2. | Francisco-Jess Martn-Mateos, Jos-Antonio Alonso, Mara-Jos Hidalgo, Jos-Luis Ruiz-Reina |
| 2003 | Automatic Structures of Bounded Degree. | Markus Lohrey |
| 2003 | Is Cantor's Theorem Automatic? | Dietrich Kuske |
| 2003 | Gandy's Theorem for Abstract Structures without the Equality Test. | Margarita V. Korovina |
| 2003 | Handling Equality in Monodic Temporal Resolution. | Boris Konev, Anatoli Degtyarev, Michael Fisher |
| 2003 | Strict Geometry of Interaction Graph Models. | Furio Honsell, Marina Lenisa, Rekha Redamalla |
| 2003 | Extended Canonicity of Certain Topological Properties of Set Spaces. | Bernhard Heinemann |
| 2003 | Improving Dependency Pairs. | Jrgen Giesl, Ren Thiemann, Peter Schneider-Kamp, Stephan Falke |
| 2003 | Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics. | Silvio Ghilardi, Luigi Santocanale |
| 2003 | Connection-Based Proof Construction in Non-commutative Logic. | Didier Galmiche, J.-M. Notin |
| 2003 | Efficient SAT Engines for Concise Logics: Accelerating Proof Search for Zero-One Linear Constraint Systems. | Martin Frnzle, Christian Herde |
| 2003 | An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems. | Jean-Michel Couvreur, Nasser Saheb, Grgoire Sutre |
| 2003 | Imperative Object-Based Calculi in Co-inductive Type Theories. | Alberto Ciaffaglione, Luigi Liquori, Marino Miculan |
| 2003 | On Structuring Proof Search for First Order Linear Logic. | Paola Bruscoli, Alessio Guglielmi |
| 2003 | Extensions of Non-standard Inferences to Descriptions Logics with Transitive Roles. | Sebastian Brandt, Anni-Yasmin Turhan, Ralf Ksters |
| 2003 | Once upon a Time in a West - Determinacy, Definability, and Complexity of Path Games. | Dietmar Berwanger, Erich Grdel, Stephan Kreutzer |
| 2003 | A Logical Study on Qualitative Default Reasoning with Probabilities. | Christoph Beierle, Gabriele Kern-Isberner |
| 2003 | Computable Numberings. | Serikzhan A. Badaev |
| 2003 | A Translation Characterizing the Constructive Content of Classical Theories. | Matthias Baaz, Christian G. Fermller |
| 2003 | From Tableaux to Automata for Description Logics. | Franz Baader, Jan Hladik, Carsten Lutz, Frank Wolter |
| 2003 | Disproving False Conjectures. | Serge Autexier, Carsten Schrmann |
| 2002 | Fuzzy Prolog: A Simple General Implementation Using CLP(R). | Claudio Vaucheret, Sergio Guadarrama, Susana Muoz-Hernndez |
| 2002 | Abox Satisfiability Reduced to Terminological Reasoning in Expressive Description Logics. | Sergio Tessaris, Ian Horrocks |
| 2002 | Automating Type Soundness Proofs via Decision Procedures and Guided Reductions. | Don Syme, Andrew D. Gordon |