CHUBARYAN, Anahit Artashes; KHAMISYAN, Artur; PETROSYAN, Garik. Investigation of the Proof Complexity Measures of Strongly Equal K-Tautologies in Some Proof Systems. Transactions on Engineering and Computing Sciences, [S. l.], v. 7, n. 1, p. 56, 2019. DOI: 10.14738/tmlai.71.6187. Disponível em: https://scholarpublishing.org/journals/index.php/TECS/article/view/2102. Acesso em: 6 may. 2026.