Chubaryan AA, Khamisyan A, Petrosyan G. Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems. TECS [Internet]. 2019 Mar. 8 [cited 2026 May 6];7(1):56. Available from: https://scholarpublishing.org/journals/index.php/TECS/article/view/2102