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