Chubaryan, Anahit A. “Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems”. *Mathematical Problems of Computer Science* 58 (December 1, 2022): 61–66. Accessed April 21, 2024. http://mpcs.sci.am/index.php/mpcs/article/view/758.