Galoyan, T. M. . (2021) “Analysis of Case Splitting in an Arithmetical System”, Mathematical Problems of Computer Science, 24, pp. 107–119. Available at: http://mpcs.sci.am/index.php/mpcs/article/view/588 (Accessed: 17May2024).