Chubaryan, A. A. Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems. MPCS 2022, 58, 61-66.