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