Ferreira F, Ferreira G. Elementary Proof of Strong Normalization for Atomic F. B Sect Log [Internet]. 2016 Mar. 30 [cited 2025 Dec. 9];45(1):1–15. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/1474