| 2015 | A Computational Logic Approach to Syllogisms in Human Reasoning. | Emanuelle-Anna Dietz |
| 2015 | Deciding ATL | Amlie David |
| 2015 | A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited. | Paula Daniela Chocron, Pascal Fontaine, Christophe Ringeissen |
| 2015 | Linear Integer Arithmetic Revisited. | Martin Bromberger, Thomas Sturm, Christoph Weidenbach |
| 2015 | Interactive Theorem Proving - Modelling the User in the Proof Process. | Bernhard Beckert, Sarah Grebing |
| 2015 | Beagle - A Hierarchic Superposition Theorem Prover. | Peter Baumgartner, Joshua Bax, Uwe Waldmann |
| 2015 | SMTtoTPTP - A Converter for Theorem Proving Formats. | Peter Baumgartner |
| 2015 | Tableaux Methods for Propositional Dynamic Logics with Separating Parallel Composition. | Philippe Balbiani, Joseph Boudou |
| 2015 | Theorem Proving with Bounded Rigid E-Unification. | Peter Backeman, Philipp Rmmer |
| 2015 | Confluence Competition 2015. | Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, Harald Zankl |
| 2015 | Automating Leibniz's Theory of Concepts. | Jesse Alama, Paul E. Oppenheimer, Edward N. Zalta |
| 2014 | QBF Encoding of Temporal Properties and QBF-Based Verification. | Wenhui Zhang |
| 2014 | Approximations for Model Construction. | Aleksandar Zeljic, Christoph M. Wintersteiger, Philipp Rmmer |
| 2014 | Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic. | Max Wisniewski, Alexander Steen |
| 2014 | Polymorphic+Typeclass Superposition. | Daniel Wand |
| 2014 | Hierarchic Superposition Revisited. | Uwe Waldmann |
| 2014 | A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses. | Sophie Tourret, Mnacho Echenim, Nicolas Peltier |
| 2014 | StarExec: A Cross-Community Infrastructure for Logic Solving. | Aaron Stump, Geoff Sutcliffe, Cesare Tinelli |
| 2014 | Proving Termination and Memory Safety for Programs with Pointer Arithmetic. | Thomas Strder, Jrgen Giesl, Marc Brockschmidt, Florian Frohn, Carsten Fuhs, Jera Hensel, Peter Schneider-Kamp |
| 2014 | Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures. | Andreas Steigmiller, Birte Glimm, Thorsten Liebig |
| 2014 | Razor: Provenance and Exploration in Model-Finding. | Salman Saghafi, Daniel J. Dougherty |
| 2014 | The Challenges of Evaluating a New Feature in Vampire. | Giles Reger, Martin Suda, Andrei Voronkov |
| 2014 | Knowledge Engineering for Large Ontologies with Sigma KEE 3.0. | Adam Pease, Stephan Schulz |
| 2014 | Terminating Minimal Model Generation Procedures for Propositional Modal Logics. | Fabio Papacchini, Renate A. Schmidt |
| 2014 | Problem Libraries for Non-Classical Logics. | Jens Otten, Thomas Raths |