[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.