Ferreira, F.; Ferreira, G. Elementary Proof of Strong Normalization for Atomic F. B Sect Log 2016, 45, 1–15.