Ando, Ruo, and Yoshiyasu Takeuji. “Bimodality of the Proof Complexity on Boolean Ring”. International Journal Of Mathematics And Computer Research 13, no. 8 (August 5, 2025): 5520-5524. Accessed October 23, 2026. https://mail.ijmcr.in/index.php/ijmcr/article/view/1015.