A. Fjellstad, “Tautology Elimination, Cut Elimination and S4?”, LLP, pp. 1–9, Dec. 2025.