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