Ferreira, Fernando, and Gilda Ferreira. 2016. “Elementary Proof of Strong Normalization for Atomic F”. Bulletin of the Section of Logic 45 (1):1–15. https://doi.org/10.18778/0138-0680.45.1.01.