Ando, R., and Y. Takeuji. “Bimodality of the Proof Complexity on Boolean Ring”. International Journal Of Mathematics And Computer Research, Vol. 13, no. 8, Aug. 2025, pp. 5520-4, doi:10.47191/ijmcr/v13i8.03.