| 2019 | A Formally Verified Abstract Account of Gödel's Incompleteness Theorems. Andrei Popescu, Dmitriy Traytel |
| 2019 | A Tableaux Calculus for Default Intuitionistic Logic. Valentin Cassano, Raul Fervari, Guillaume Hoffmann, Carlos Areces, Pablo F. Castro |
| 2019 | Automata Terms in a Lazy WSkS Decision Procedure. Vojtech Havlena, Lukás Holík, Ondrej Lengál, Tomás Vojnar |
| 2019 | Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings Pascal Fontaine |
| 2019 | Automatic Generation of Logical Models with AGES. Raúl Gutiérrez, Salvador Lucas |
| 2019 | Certified Equational Reasoning via Ordered Completion. Christian Sternagel, Sarah Winkler |
| 2019 | Combining ProVerif and Automated Theorem Provers for Security Protocol Verification. Di Long Li, Alwen Tiu |
| 2019 | Composing Proof Terms. Christina Kohl, Aart Middeldorp |
| 2019 | Computing Expected Runtimes for Constant Probability Programs. Jürgen Giesl, Peter Giesl, Marcel Hark |
| 2019 | Confluence by Critical Pair Analysis Revisited. Nao Hirokawa, Julian Nagele, Vincent van Oostrom, Michio Oyamaguchi |
| 2019 | ENIGMA-NG: Efficient Neural and Gradient-Boosted Inference Guidance for E. Karel Chvalovský, Jan Jakubuv, Martin Suda, Josef Urban |
| 2019 | Extending SMT Solvers to Higher-Order Logic. Haniel Barbosa, Andrew Reynolds, Daniel El Ouraoui, Cesare Tinelli, Clark W. Barrett |
| 2019 | FAME(Q): An Automated Tool for Forgetting in Description Logics with Qualified Number Restrictions. Yizheng Zhao, Renate A. Schmidt |
| 2019 | Faster, Higher, Stronger: E 2.3. Stephan Schulz, Simon Cruanes, Petar Vukmirovic |
| 2019 | GKC: A Reasoning System for Large Knowledge Bases. Tanel Tammet |
| 2019 | GRUNGE: A Grand Unified ATP Challenge. Chad E. Brown, Thibault Gauthier, Cezary Kaliszyk, Geoff Sutcliffe, Josef Urban |
| 2019 | Induction in Saturation-Based Proof Search. Giles Reger, Andrei Voronkov |
| 2019 | JGXYZ: An ATP System for Gap and Glut Logics. Geoff Sutcliffe, Francis Jeffry Pelletier |
| 2019 | Model Completeness, Covers and Superposition. Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali, Andrey Rivkin |
| 2019 | NIL: Learning Nonlinear Interpolants. Mingshuai Chen, Jian Wang, Jie An, Bohua Zhan, Deepak Kapur, Naijun Zhan |
| 2019 | Names Are Not Just Sound and Smoke: Word Embeddings for Axiom Selection. Ulrich Furbach, Teresa Krämer, Claudia Schon |
| 2019 | Old or Heavy? Decaying Gracefully with Age/Weight Shapes. Michael Rawson, Giles Reger |
| 2019 | On Invariant Synthesis for Parametric Systems. Dennis Peuter, Viorica Sofronie-Stokkermans |
| 2019 | On the Width of Regular Classes of Finite Structures. Alexsander Andrade de Melo, Mateus de Oliveira Oliveira |
| 2019 | Optimization Modulo the Theory of Floating-Point Numbers. Patrick Trentin, Roberto Sebastiani |
| 2019 | Restricted Combinatory Unification. Ahmed Bhayat, Giles Reger |
| 2019 | SCL Clause Learning from Simple Models. Alberto Fiori, Christoph Weidenbach |
| 2019 | SPASS-SATT - A CDCL(LA) Solver. Martin Bromberger, Mathias Fleury, Simon Schwarz, Christoph Weidenbach |
| 2019 | Superposition with Lambdas. Alexander Bentkamp, Jasmin Blanchette, Sophie Tourret, Petar Vukmirovic, Uwe Waldmann |
| 2019 | The Aspect Calculus. David A. Plaisted |
| 2019 | Towards Bit-Width-Independent Proofs in SMT Solvers. Aina Niemetz, Mathias Preiner, Andrew Reynolds, Yoni Zohar, Clark W. Barrett, Cesare Tinelli |
| 2019 | Towards Physical Hybrid Systems. Katherine Cordwell, André Platzer |
| 2019 | Unification Modulo Lists with Reverse Relation with Certain Word Equations. Siva Anantharaman, Peter Hibbs, Paliath Narendran, Michaël Rusinowitch |
| 2019 | Uniform Substitution at One Fell Swoop. André Platzer |
| 2019 | dL Rose Bohrer, Manuel Fernández, André Platzer |