Fjellstad A. Tautology Elimination, Cut Elimination and S4?. LLP [Internet]. 2025 Dec. 5 [cited 2025 Dec. 10];:1-9. Available from: https://apcz.umk.pl/LLP/article/view/60563