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