Ferreira, F.; Ferreira, G. Elementary Proof of Strong Normalization for Atomic F. B Sect Log 2016, 45 (1), 1–15. https://doi.org/10.18778/0138-0680.45.1.01.