| 2025 | CADE | Computing Witnesses Using the SCAN Algorithm. | Fabian Achammer, Stefan Hetzl, Renate A. Schmidt |
| 2024 | LICS | On the Completeness of Interpolation Algorithms. | Stefan Hetzl, Raheleh Jalali |
| 2021 | KR | An Abstract Fixed-Point Theorem for Horn Formula Equations (Abstract). | Stefan Hetzl, Johannes Kloibhofer |
| 2018 | DLT | Complexity of Decision Problems on Totally Rigid Acyclic Tree Grammars. | Sebastian Eberhard, Gabriel Ebner, Stefan Hetzl |
| 2016 | CADE | System Description: GAPT 2.0. | Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota |
| 2015 | CSL | Tree Grammars for the Elimination of Non-prenex Cuts. | Stefan Hetzl, Sebastian Zivota |
| 2014 | CADE | Introducing Quantified Cuts in Logic with Equality. | Stefan Hetzl, Alexander Leitsch, Giselle Reis, Janos Tapolczai, Daniel Weller |
| 2013 | TABLEAUX | Understanding Resolution Proofs through Herbrand's Theorem. | Stefan Hetzl, Tomer Libal, Martin Riener, Mikheil Rukhaia |
| 2012 | AISC | Project Presentation: Algorithmic Structuring and Compression of Proofs (ASCOP). | Stefan Hetzl |
| 2012 | CSL | A Systematic Approach to Canonicity in the Classical Sequent Calculus. | Kaustuv Chaudhuri, Stefan Hetzl, Dale Miller |
| 2012 | CSL | Herbrand-Confluence for Cut Elimination in Classical First Order Logic. | Stefan Hetzl, Lutz Straburger |
| 2012 | LATA | Applying Tree Languages in Proof Theory. | Stefan Hetzl |
| 2012 | LPAR | Towards Algorithmic Cut-Introduction. | Stefan Hetzl, Alexander Leitsch, Daniel Weller |
| 2010 | CSL | A Sequent Calculus with Implicit Term Representation. | Stefan Hetzl |
| 2009 | LFCS | A Clausal Approach to Proof Analysis in Second-Order Logic. | Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo |
| 2008 | AISC | Herbrand Sequent Extraction. | Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo |
| 2008 | LPAR | Transforming and Analyzing Proofs in the CERES-System. | Stefan Hetzl, Alexander Leitsch, Daniel Weller, Bruno Woltzenlogel Paleo |
| 2004 | LPAR | Cut-Elimination: Experiments with CERES. | Matthias Baaz, Stefan Hetzl, Alexander Leitsch, Clemens Richter, Hendrik Spohr |