Indrzejczak, A. “Tautology Elimination, Cut Elimination, and S5”. Logic and Logical Philosophy, vol. 26, no. 4, Apr. 2017, pp. 461-7, doi:10.12775/LLP.2017.005.