[1]
Indrzejczak, A. 2017. Tautology Elimination, Cut Elimination, and S5. Logic and Logical Philosophy. 26, 4 (Apr. 2017), 461–471. DOI:https://doi.org/10.12775/LLP.2017.005.