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