Ferreira, F., & Ferreira, G. (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