Ando R, Takeuji Y. Bimodality of the Proof Complexity on Boolean Ring. ijmcr [Internet]. 5Aug.2025 [cited 23Oct.2026];13(8):5520-4. Available from: https://mail.ijmcr.in/index.php/ijmcr/article/view/1015