Ando, R.; Takeuji, Y. Bimodality of the Proof Complexity on Boolean Ring. ijmcr 2025, 13, 5520-5524.