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 December 8, 2025. https://www.czasopisma.uni.lodz.pl/bulletin/article/view/1474.