Robert Nieuwenhuis and Albert Oliveras.
Congruence Closure with Integer Offsets

Dietmar Berwanger, Erich Graedel, Stephan Kreutzer.
Once upon a time in the west -- Determinacy, definability and complexity of path games

Dietrich Kuske.
Is Cantor's theorem automatic?

Markus Lohrey.
Automatic Structures of Bounded Degree

Boris Konev, Anatoli Degtyarev, Michael Fisher
Handling Equality in Monodic Temporal Resolution

Martin Fränzle and Christian Herde.
Efficient SAT engines for concise logics: Accelerating proof search for zero-one linear constraint systems

Matthias Baaz, Christian Fermueller.
A translation characterizing the constructive content of classical theories

Juergen Giesl, Rene Thiemann, Peter Schneider-Kamp, Stephan Falke.
Improving Dependency Pairs

Sebastian Brandt, Anni-Yasmin Turhan, Ralf Küsters.
Extensions of Non-standard Inferences to Description Logics with transitive Roles

Serge Autexier, Carsten Schuermann.
Disproving False Conjectures

Barbara Morawska.
Completeness of E-unification with eager Variable Elimination

Davy Van Nieuwenborgh, Dirk Vermeir.
Ordered Diagnosis

Kumar Neeraj Verma.
On Closure under Complementation of Equational Tree Automata for Theories Extending AC

F.J. Martín-Mateos, J.A. Alonso, M.J. Hidalgo, J.L. Ruiz-Reina.
A Formal Proof of Dickson's Lemma in ACL2

Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta.
Computing Preferred Answer Sets in Answer Sets Programming

Furio Honsell, Marina Lenisa, Rekha Redamalla.
Strict Geometry of Interaction Graph Models

Margarita Korovina.
Fixed Points on Continuous Data Types

Silvio Ghilardi and Luigi Santocanale.
Algebraic and Model Theoretic Techniques for Fusion Decidability in Modal Logics

Paola Bruscoli and Alessio Guglielmi.
On Structuring Proof Search for First Order Linear Logic

Quoc Bao Vo, Abhaya Nayak, Norman Foo.
A syntax-based approach to reasoning about action

Christoph Walther, Stephan Schweitzer.
A Machine-Verified Code Generator

Christoph Beierle, Gabriele Kern-Isberner.
A logical study on qualitative default reasoning with probabilities

Jean-Michel Couvreur, Nasser Saheb,
Grégoire Sutre. An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems

D. Galmiche and J.M. Notin.
Connection-based proof construction in Non-Commutative Logic

Alberto Ciaffaglione, Luigi Liquori, Marino Miculan.
Imperative Object-based Calculi in (Co)Inductive Type Theories

Thierry Boy de la Tour, Mnacho Echenim.
NP-Completeness Results for Deductive Problems on Stratified Terms

Bernhard Heinemann.
Extended Canonicity of Certain Topological Properties of Set Spaces