Chubaryan, A. A.; Khamisyan, A.; Petrosyan, G. Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems. TECS 2019, 7, 56.