On the Proof Complexities of Strongly Equal Non-classical Tautologies - Chubaryan, Anahit; Sayadyan, Sergey (Advances in Mathematics and Computer Science Vol. 1, 2019)