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