1.
Chubaryan AA. Proof Complexity of Hard-Determinable Balanced Tautologies in Frege Systems. MPCS [Internet]. 2022Dec.1 [cited 2024Apr.21];58:61-6. Available from: http://mpcs.sci.am/index.php/mpcs/article/view/758