CHUBARYAN, A.; SAYADYAN, S. On the Proof Complexities of Strongly Equal Non-classical Tautologies. Advances in Mathematics and Computer Science Vol. 1, p. 105-112, 4 jul. 2019.