FJELLSTAD, Andreas. Tautology Elimination, Cut Elimination and S4?. Logic and Logical Philosophy. Online. 5 December 2025. pp. 1-9. [Accessed 1 February 2026]. DOI 10.12775/LLP.2025.028.