Galoyan, T. M. . (2021). Strong Normalization for First-order Logic. Mathematical Problems of Computer Science, 28, 45–50. Retrieved from http://93.187.165.2/index.php/mpcs/article/view/496