Chubaryan, A., & Sayadyan, S. (2019). On the Proof Complexities of Strongly Equal Non-classical Tautologies. Advances in Mathematics and Computer Science Vol. 1, 105-112. Retrieved from https://stm1.bookpi.org/index.php/amacs-v1/article/view/202