SAYADYAN, S. M. COMPARISON OF SEVERAL PROOF SYSTEMS OF INTUITIONISTIC PROPOSITIONAL LOGIC. Proceedings of the YSU A: Physical and Mathematical Sciences, v. 39, n. 2 (207), p. 25–30, 10 Jun.2005.