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