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