Chubaryan, Anahit, and Sergey Sayadyan. 2019. “On the Proof Complexities of Strongly Equal Non-Classical Tautologies”. Advances in Mathematics and Computer Science Vol. 1, July, 105-12. https://stm1.bookpi.org/index.php/amacs-v1/article/view/202.