Clause Set Cycles and Induction. - Stefan Hetzl; Jannik Vierling (Log. Methods Comput. Sci., 2020)

Unprovability results for clause set cycles. - Stefan Hetzl; Jannik Vierling (Theor. Comput. Sci., 2022)

Induction and Skolemization in saturation theorem proving. - Stefan Hetzl; Jannik Vierling (Ann. Pure Appl. Log., 2023)

Quantifier-free induction for lists. - Stefan Hetzl; Jannik Vierling (Arch. Math. Log., 2024)