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