R. Ando and Y. Takeuji, “Bimodality of the Proof Complexity on Boolean Ring”, ijmcr, vol. 13, no. 8, pp. 5520-5524, Aug. 2025.