A. A. Chubaryan, “Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems”, MPCS, vol. 58, pp. 61–66, Dec. 2022.