The problem of Pi_2-cut-introduction. - Alexander Leitsch; Michael Peter Lettmann (CoRR, 2016)

Towards a Clausal Analysis of Proof Schemata. - David M. Cerna; Michael Peter Lettmann (SYNASC, 2017)

Integrating a Global Induction Mechanism into a Sequent Calculus. - David M. Cerna; Michael Peter Lettmann (TABLEAUX, 2017)

Clausal Analysis of First-order Proof Schemata. - David M. Cerna; Michael Peter Lettmann (CoRR, 2017)

A Tableaux Calculus for Reducing Proof Size. - Michael Peter Lettmann; Nicolas Peltier (IJCAR, 2018)

The problem of Π2-cut-introduction. - Alexander Leitsch; Michael Peter Lettmann (Theor. Comput. Sci., 2018)