Sayadyan, S. M. “COMPARISON OF SEVERAL PROOF SYSTEMS OF INTUITIONISTIC PROPOSITIONAL LOGIC”. Proceedings of the YSU A: Physical and Mathematical Sciences, vol. 39, no. 2 (207), June 2005, pp. 25-30, doi:10.46991/PYSU:A/2005.39.2.025.