Sayadyan, S. M. COMPARISON OF SEVERAL PROOF SYSTEMS OF INTUITIONISTIC PROPOSITIONAL LOGIC. Proc. YSU A: Phys. Math. Sci. 2005, 39, 25-30.