1.
INDRZEJCZAK, Andrzej. Tautology Elimination, Cut Elimination, and S5. Logic and Logical Philosophy [online]. 5 April 2017, T. 26, nr 4, s. 461–471. [accessed 19.1.2022]. DOI 10.12775/LLP.2017.005.