Ferreira, Fernando, and Gilda Ferreira. “Elementary Proof of Strong Normalization for Atomic F”. Bulletin of the Section of Logic 45, no. 1 (March 30, 2016): 1–15. Accessed May 3, 2024. https://czasopisma.uni.lodz.pl/bulletin/article/view/1474.