Galoyan, T. M. . (2021). Analysis of Case Splitting in an Arithmetical System. Mathematical Problems of Computer Science, 24, 107–119. Retrieved from http://mpcs.sci.am/index.php/mpcs/article/view/588