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