| 2026 | AAAI | Efficient Rule Induction by Ignoring Pointless Rules. | Andrew Cropper, David M. Cerna |
| 2026 | AAAI | Symmetry Breaking for Inductive Logic Programming. | Andrew Cropper, David M. Cerna, Matti Jrvisalo |
| 2025 | AAAI | Scalable Knowledge Refactoring Using Constrained Optimisation. | Minghao Liu, David M. Cerna, Filipe Gouveia, Andrew Cropper |
| 2025 | FSCD | Combining Generalization Algorithms in Regular Collapse-Free Theories. | Mauricio Ayala-Rincn, David M. Cerna, Temur Kutsia, Christophe Ringeissen |
| 2024 | AAAI | Generalisation through Negation and Predicate Invention. | David M. Cerna, Andrew Cropper |
| 2024 | IJCAR | Equational Anti-unification over Absorption Theories. | Mauricio Ayala-Rincn, David M. Cerna, Andres Felipe Gonzalez Barragan, Temur Kutsia |
| 2023 | IJCAI | Anti-unification and Generalization: A Survey. | David M. Cerna, Temur Kutsia |
| 2022 | IJCAI | Learning Higher-Order Logic Programs From Failures. | Stanislaw J. Purgal, David M. Cerna, Cezary Kaliszyk |
| 2021 | SYNASC | A Special Case of Schematic Syntactic Unification. | David M. Cerna |
| 2020 | CADE | Covered Clauses Are Not Propagation Redundant. | Lee A. Barnett, David M. Cerna, Armin Biere |
| 2020 | CSEDU | Computational Logic in the First Semester of Computer Science: An Experience Report. | David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere |
| 2020 | FSCD | Unital Anti-Unification: Type and Algorithms. | David M. Cerna, Temur Kutsia |
| 2020 | ITiCSE | Aiding an Introduction to Formal Reasoning Within a First-Year Logic Course for CS Majors Using a Mobile Self-Study App. | David M. Cerna, Martina Seidl, Wolfgang Schreiner, Wolfgang Windsteiger, Armin Biere |
| 2017 | SYNASC | Towards a Clausal Analysis of Proof Schemata. | David M. Cerna, Michael Peter Lettmann |
| 2017 | TABLEAUX | Integrating a Global Induction Mechanism into a Sequent Calculus. | David M. Cerna, Michael Peter Lettmann |
| 2016 | CADE | Schematic Cut Elimination and the Ordered Pigeonhole Principle. | David M. Cerna, Alexander Leitsch |
| 2016 | RV | Predicting Space Requirements for a Stream Monitor Specification Language. | David M. Cerna, Wolfgang Schreiner, Temur Kutsia |