Ferreira, F., and G. Ferreira. “Elementary Proof of Strong Normalization for Atomic F”. Bulletin of the Section of Logic, vol. 45, no. 1, Mar. 2016, pp. 1–15, doi:10.18778/0138-0680.45.1.01.