Indrzejczak, A. (2017). Tautology Elimination, Cut Elimination, and S5. Logic and Logical Philosophy, 26(4), 461–471. https://doi.org/10.12775/LLP.2017.005