| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Afshari, Bahareh ; Hetzl, Stefan ; Leigh, Graham E. | Herbrand's theorem as higher order recursion | Artikel Article | 2020 |
| 2 | | Hetzl, Stefan ; Zivota, Sebastian | Decidability of affine solution problems | Artikel Article | 2020 |
| 3 | | Hetzl, Stefan ; Vierling, Jannik | Clause Set Cycles and Induction | Artikel Article | 2020 |
| 4 | | Aschieri, Federico ; Hetzl, Stefan ; Weller, Daniel | Expansion trees with cut | Artikel Article | 8-Oct-2019 |
| 5 | | Ebner, Gabriel ; Hetzl, Stefan ; Leitsch, Alexander ; Reis, Giselle ; Weller, Daniel | On the Generation of Quantified Lemmas | Article Artikel | 2019 |
| 6 | | Hetzl, Stefan | A simplified proof of the epsilon theorems | Präsentation Presentation | 2018 |
| 7 | | Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan | Complexity of decision problems on totally rigid acyclic tree grammars | Konferenzbeitrag Inproceedings | 2018 |
| 8 | | Hetzl, Stefan ; Wolfsteiner, Simon | Cover Complexity of Finite Languages | Konferenzbeitrag Inproceedings | 2018 |
| 9 | | Eberhard, Sebastian ; Hetzl, Stefan | On the Compressibility of Finite Languages and Formal Proofs | Artikel Article | 2018 |
| 10 | | Hetzl, Stefan ; Wong, Tin Lok | Some observations on the logical foundations of inductive theorem proving | Artikel Article | 2018 |
| 11 | | Eberhard, Sebastian ; Ebner, Gabriel ; Hetzl, Stefan | Algorithmic Compression of Finite Tree Languages by Rigid Acyclic Grammars | Artikel Article | 31-Oct-2017 |
| 12 | | Baaz, Matthias ; Ciabattoni, Agata ; Gabbay, Dov M. ; Hetzl, Stefan ; Weller, Daniel | Preface | Artikel Article | Mar-2017 |
| 13 | | Hetzl, Stefan | On the Complexity of Grammars and First-Order Proofs | Präsentation Presentation | 2017 |
| 14 | | Hetzl, Stefan | Some Observations on the Logical Foundations of Inductive Theorem Proving | Präsentation Presentation | 2017 |
| 15 | | Hetzl, Stefan | Some Observations on the Logical Foundations of Inductive Theorem Proving | Präsentation Presentation | 2017 |
| 16 | | Hetzl, Stefan | System Description: General Architecture for Proof Theory | Präsentation Presentation | 2017 |
| 17 | | Hetzl, Stefan | Hilbert's Larger Programme | Präsentation Presentation | 2017 |
| 18 | | Eberhard, Sebastian ; Hetzl, Stefan ; Weller, Daniel | Boolean Unification with Predicates | Artikel Article | 2017 |
| 19 | | Ebner, Gabriel ; Hetzl, Stefan ; Reis, Giselle ; Riener, Martin ; Wolfsteiner, Simon Peter ; Zivota, Sebastian | System Description: GAPT 2.0 | Konferenzbeitrag Inproceedings | 12-Jun-2016 |
| 20 | | Hetzl, Stefan | Inductive theorem proving based on tree grammars | Präsentation Presentation | 2016 |