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