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