T. M. . Galoyan, “Analysis of Case Splitting in an Arithmetical System”, MPCS, vol. 24, pp. 107–119, Dec. 2021.