| 2013 | Resourceful Reachability as HORN-LA. | Josh Berdine, Nikolaj S. Bjrner, Samin Ishtiaq, Jael E. Kriener, Christoph M. Wintersteiger |
| 2013 | HOL Based First-Order Modal Logic Provers. | Christoph Benzmller, Thomas Raths |
| 2013 | Dynamic and Static Symmetry Breaking in Answer Set Programming. | Belaid Benhamou |
| 2013 | SAT-Based Preprocessing for MaxSAT. | Anton Belov, Antnio Morgado, Joo Marques-Silva |
| 2013 | Proving Infinite Satisfiability. | Peter Baumgartner, Joshua Bax |
| 2013 | Expressive Path Queries on Graphs with Data. | Pablo Barcel, Galle Fontaine, Anthony Widjaja Lin |
| 2013 | Conflict Resolution in Structured Argumentation. | Martin Balz, Jozef Frts, Martin Homola |
| 2013 | A Semantic Basis for Proof Queries and Transformations. | David Aspinall, Ewen Denney, Christoph Lth |
| 2013 | The Complexity of Clausal Fragments of LTL. | Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev |
| 2013 | Incorporating Hypothetical Views and Extended Recursion into SQL Database Systems. | Gabriel Aranda-Lpez, Susana Nieva, Fernando Senz-Prez, Jaime Snchez-Hernndez |
| 2013 | Semantic A-translations and Super-Consistency Entail Classical Cut Elimination. | Lisa Allali, Olivier Hermant |
| 2013 | Acceleration-based safety decision procedure for programs with arrays. | Francesco Alberti, Silvio Ghilardi, Natasha Sharygina |
| 2013 | May-Happen-in-Parallel Analysis for Priority-Based Scheduling. | Elvira Albert, Samir Genaim, Enrique Martin-Martin |
| 2013 | An Algorithm for Enumerating Maximal Models of Horn Theories with an Application to Modal Logics. | Luca Aceto, Dario Della Monica, Anna Inglfsdttir, Angelo Montanari, Guido Sciavicco |
| 2012 | Ordinals and Knuth-Bendix Orders. | Sarah Winkler, Harald Zankl, Aart Middeldorp |
| 2012 | The TPTP Typed First-Order Form with Arithmetic. | Geoff Sutcliffe, Stephan Schulz, Koen Claessen, Peter Baumgartner |
| 2012 | Understanding LEO-II's proofs. | Nik Sultana, Christoph Benzmller |
| 2012 | Labelled Superposition for PLTL. | Martin Suda, Christoph Weidenbach |
| 2012 | Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description). | William Snell, Dirk Pattinson, Florian Widmann |
| 2012 | Craig Interpolation for the Integers: Results, Implementation, and Experiences. | Philipp Rmmer |
| 2012 | E-Matching with Free Variables. | Philipp Rmmer |
| 2012 | Implementing Connection Calculi for First-order Modal Logics. | Jens Otten |
| 2012 | iSat: Structure Visualization for SAT Problems. | Ezequiel Orbe, Carlos Areces, Gabriel G. Infante Lpez |
| 2012 | On the Domain and Dimension Hierarchy of Matrix Interpretations. | Friedrich Neurauter, Aart Middeldorp |
| 2012 | Parameterized Complexity and Fixed-Parameter Tractability of Description Logic Reasoning. | Boris Motik |