Chubaryan, A., and A. Chubaryan. “Definition of Strong Equality of Tautologies and Universal System for Various Propositional Logics”. Armenian Journal of Mathematics, vol. 1, no. 2, Oct. 2008, pp. pp. 30-36, http://armjmath.sci.am/index.php/ajm/article/view/25.