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