[1]
Chubaryan, A. and Chubaryan, A. 2008. Definition of Strong Equality of Tautologies and Universal System for Various Propositional Logics. Armenian Journal of Mathematics. 1, 2 (Oct. 2008), pp. 30-36.