Chubaryan, A. A. (2022) “Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems”, Mathematical Problems of Computer Science, 58, pp. 61–66. doi: 10.51408/1963-0093.