ANDO, R.; TAKEUJI, Y. Bimodality of the Proof Complexity on Boolean Ring. International Journal Of Mathematics And Computer Research, v. 13, n. 8, p. 5520-5524, 5 ago. 2025.