| 2010 | Progress in Automating Higher-Order Ontology Reasoning. | Christoph Benzmller, Adam Pease |
| 2010 | Logic between Expressivity and Complexity. | Johan van Benthem |
| 2010 | Perfect Discrimination Graphs: Indexing Terms with Integer Exponents. | Hicham Bensaid, Ricardo Caferra, Nicolas Peltier |
| 2010 | Automated Reasoning for Relational Probabilistic Knowledge Representation. | Christoph Beierle, Marc Finthammer, Gabriele Kern-Isberner, Matthias Thimm |
| 2010 | Mind the Gap: Formal Verification and the Common Criteria (Discussion Paper). | Bernhard Beckert, Daniel Bruns, Sarah Grebing |
| 2010 | Focused Inductive Theorem Proving. | David Baelde, Dale Miller, Zachary Snow |
| 2010 | Automated Invariant Generation for the Verification of Real-Time Systems. | Bahareh Badban, Stefan Leue, Jan-Georg Smaus |
| 2010 | Analytic Tableaux for Higher-Order Logic with Choice. | Julian Backes, Chad E. Brown |
| 2010 | Multi-Prover Verification of Floating-Point Programs. | Ali Ayad, Claude March |
| 2010 | RegSTAB: A SAT Solver for Propositional Schemata. | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
| 2010 | A Decidable Class of Nested Iterated Schemata. | Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier |
| 2010 | Automated Reasoning in the Simulation of Evolvable Systems. | Djihed Afifi, David E. Rydeheard, Howard Barringer |
| 2010 | Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion. | Markus Aderhold |
| 2010 | A Single-Significant-Digit Calculus for Semi-Automated Guesstimation. | Jonathan Alexander Abourbih, Luke Blaney, Alan Bundy, Fiona McNeill |
| 2009 | A Refined Resolution Calculus for CTL. | Lan Zhang, Ullrich Hustadt, Clare Dixon |
| 2009 | SPASS Version 3.5. | Christoph Weidenbach, Dilyana Dimova, Arnaud Fietzke, Rohit Kumar, Martin Suda, Patrick Wischnewski |
| 2009 | Termination Analysis by Dependency Pairs and Inductive Theorem Proving. | Stephan Swiderski, Michael Parting, Jrgen Giesl, Carsten Fuhs, Peter Schneider-Kamp |
| 2009 | Progress in the Development of Automated Theorem Proving for Higher-Order Logic. | Geoff Sutcliffe, Christoph Benzmller, Chad E. Brown, Frank Theiss |
| 2009 | Building Theorem Provers. | Mark E. Stickel |
| 2009 | Locality Results for Certain Extensions of Theories with Bridging Functions. | Viorica Sofronie-Stokkermans |
| 2009 | Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis. | Roberto Sebastiani, Michele Vescovi |
| 2009 | Divvy: An ATP Meta-system Based on Axiom Relevance Ordering. | Alex Roederer, Yury Puzis, Geoff Sutcliffe |
| 2009 | Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival. | Martin C. Rinard |
| 2009 | Real World Verification. | Andr Platzer, Jan-David Quesel, Philipp Rmmer |
| 2009 | Combinable Extensions of Abelian Groups. | Enrica Nicolini, Christophe Ringeissen, Michal Rusinowitch |