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), p. 56. doi: 10.14738/tmlai.71.6187.