Aleksanyan, S. R. (2007) “ON PROOF NORMAL FORMS FOR SOME SYSTEMS OF CLASSICAL PROPOSITIONAL LOGIC”, Proceedings of the YSU A: Physical and Mathematical Sciences. Yerevan, Armenia, 41(1 (212), pp. 38–45. doi: 10.46991/PYSU:A/2007.47.1.038.