Chubaryan, A.A., Khamisyan, A. and Petrosyan, G. 2019. Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems. Transactions on Engineering and Computing Sciences. 7, 1 (Mar. 2019), 56. DOI:https://doi.org/10.14738/tmlai.71.6187.