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