Galoyan, T.M. 2021. Strong Normalization for First-order Logic. Mathematical Problems of Computer Science. 28, (Dec. 2021), 45–50.