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.