Galoyan, T. M. . Analysis of Case Splitting in an Arithmetical System. MPCS 2021, 24, 107-119.