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