Galoyan, T. M. . Strong Normalization for First-Order Logic. MPCS 2021, 28, 45-50.