CHUBARYAN, A.; CHUBARYAN, A. Definition of Strong Equality of Tautologies and Universal System for Various Propositional Logics.
Armenian Journal of Mathematics
, v. 1, n. 2, p. pp. 30-36, 13 Oct. 2008.