| 2002 | First-Order Logic as a Constraint Programming Language. | Krzysztof R. Apt, C. F. M. Vermeulen |
| 2002 | Improving On-Demand Strategy Annotations. | Mara Alpuente, Santiago Escobar, Bernhard Gramlich, Salvador Lucas |
| 2001 | Andorra Model Revised: Introducing Nested Domain Variables and a Targeted Search. | Rong Yang, Steve Gregory |
| 2001 | Permutation Problems and Channelling Constraints. | Toby Walsh |
| 2001 | Binding-Time Annotations Without Binding-Time Analysis. | Wim Vanhoof, Maurice Bruynooghe |
| 2001 | Simplifying Binary Propositional Theories into Connected Components Twice as Fast. | Alvaro del Val |
| 2001 | Analysis of Polymorphically Typed Logic Programs Using ACI-Unification. | Jan-Georg Smaus |
| 2001 | Inference of Termination Conditions for Numerical Loops in Prolog. | Alexander Serebrenik, Danny De Schreye |
| 2001 | On Termination of Meta-Programs. | Alexander Serebrenik, Danny De Schreye |
| 2001 | A Type-Theoretic Approach to Induction with Higher-Order Encodings. | Carsten Schrmann |
| 2001 | Improving Automata Generation for Linear Temporal Logic by Considering the Automaton Hierarchy. | Klaus Schneider |
| 2001 | Local Conditional High-Level Robot Programs. | Sebastian Sardia |
| 2001 | Partial Implicit Unfolding in the Davis-Putnam Procedure for Quantified Boolean Formulae. | Jussi Rintanen |
| 2001 | Automated Proof Support for Interval Logics. | Thomas Marthedal Rasmussen |
| 2001 | Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions. | Guy Perrier |
| 2001 | Splitting Through New Proposition Symbols. | Hans de Nivelle |
| 2001 | Efficient Negation Using Abstract Interpretation. | Susana Muoz-Hernndez, Juan Jos Moreno-Navarro, Manuel V. Hermenegildo |
| 2001 | Concept Formation via Proof Planning Failure. | Ral Monroy |
| 2001 | A Computer Environment for Writing Ordinary Mathematical Proofs. | David McMath, Marianna Rozenfeld, Richard Sommer |
| 2001 | Complexity of Linear Standard Theories. | Christopher Lynch, Barbara Morawska |
| 2001 | Coherence and Transitivity in Coercive Subtyping. | Yong Luo, Zhaohui Luo |
| 2001 | Termination of Rewriting With Strategy Annotations. | Salvador Lucas |
| 2001 | Functional Logic Programming with Failure: A Set-Oriented View. | Francisco Javier Lpez-Fraguas, Jaime Snchez-Hernndez |
| 2001 | Automated Theorem Proving Proof and Model Generation with Disconnection Tableaux. | Reinhold Letz, Gernot Stenz |
| 2001 | The Functions Provable by First Order Abstraction. | Daniel Leivant |