Journal articles

  • Clause Set Cycles and Induction (with Stefan Hetzl), Logical Methods in Computer Science, November 30, 2020, Volume 16, Issue 4
    [pdf, arXiv, LMCS]

  • Unprovability results for clause set cycles (with Stefan Hetzl), Theoretical Computer Science, Available online 13 July 2022
    [pdf, arXiv, TCS]

  • Induction and Skolemization in saturation theorem proving (with Stefan Hetzl), Annals of pure and applied logic, January 2023, Volume 174, Issue 1
    [pdf, arXiv, APAL]

Preprints

Drafts

  • Dissertation: The limits of automated inductive theorem provers
    [pdf]

Theses

  • Master Thesis: Cyclic Superposition and Induction
    [pdf]

  • Bachelor Thesis: An Overview over Models for Fuzzy Quantifiers
    [pdf]

Posters

  • International Summer School on Proof Theory, Ghent, 2018, Clause Set Cycles and Induction
    [pdf]

  • Diplomarbeitspräsentation, 2018, Zyklische Superposition und Induktion
    [pdf]

Talks