Eliminating Disjunctions by Disjunction Elimination. - Davide Rinaldi; Peter Schuster 001; Daniel Misselbeck-Wessel (Bull. Symb. Log., 2017)

Extension by Conservation. Sikorski's Theorem. - Davide Rinaldi; Daniel Misselbeck-Wessel (Log. Methods Comput. Sci., 2018)

Cut elimination for entailment relations. - Davide Rinaldi; Daniel Misselbeck-Wessel (Arch. Math. Log., 2019)