S. M. Sayadyan, “COMPARISON OF SEVERAL PROOF SYSTEMS OF INTUITIONISTIC PROPOSITIONAL LOGIC”, Proc. YSU A: Phys. Math. Sci., vol. 39, no. 2 (207), pp. 25–30, Jun. 2005.