Galoyan, T.M. 2021. Analysis of Case Splitting in an Arithmetical System. Mathematical Problems of Computer Science. 24, (Dec. 2021), 107–119.