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.