Chubaryan A, Sayadyan S. On the Proof Complexities of Strongly Equal Non-classical Tautologies. Advances in Mathematics and Computer Science Vol. 1 [Internet]. 4Jul.2019 [cited 19Jun.2026];:105-12. Available from: https://stm1.bookpi.org/index.php/amacs-v1/article/view/202