Chubaryan, A. and Sayadyan, S. 2019. On the Proof Complexities of Strongly Equal Non-classical Tautologies. Advances in Mathematics and Computer Science Vol. 1. (Jul. 2019), 105-112.