INDRZEJCZAK, Andrzej. Tautology Elimination, Cut Elimination, and S5. Logic and Logical Philosophy. Online. 5 April 2017. Vol. 26, no. 4, pp. 461-471. [Accessed 30 June 2024]. DOI 10.12775/LLP.2017.005.