Chubaryan, A. and Sayadyan, S. (2019) “On the Proof Complexities of Strongly Equal Non-classical Tautologies”, Advances in Mathematics and Computer Science Vol. 1, pp. 105-112. Available at: https://stm1.bookpi.org/index.php/amacs-v1/article/view/202 (Accessed: 19June2026).