F. Ferreira and G. Ferreira, “Elementary Proof of Strong Normalization for Atomic F”, B Sect Log, vol. 45, no. 1, pp. 1–15, Mar. 2016.