A. A. Chubaryan, A. Khamisyan, and G. Petrosyan, “Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems”, TECS, vol. 7, no. 1, p. 56, Mar. 2019.