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 2024Dec.24];7(1):56. Available from: https://journals.scholarpublishing.org/index.php/TMLAI/article/view/6187