Chubaryan AA, Khamisyan A, Petrosyan G. Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems. TECS [Internet]. 2019Mar.8 [cited 2024Nov.23];7(1):56. Available from: http://116.203.177.230/index.php/TMLAI/article/view/6187