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