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