T. M. . Galoyan, “Strong Normalization for First-order Logic”, MPCS, vol. 28, pp. 45–50, Dec. 2021.