Indrzejczak, Andrzej. 2017. “Tautology Elimination, Cut Elimination, and S5”. Logic and Logical Philosophy 26 (4):461-71. https://doi.org/10.12775/LLP.2017.005.