Aleksanyan, S. R. ON PROOF NORMAL FORMS FOR SOME SYSTEMS OF CLASSICAL PROPOSITIONAL LOGIC. Proc. YSU A: Phys. Math. Sci. 2007, 41 (1 (212), 38-45. https://doi.org/10.46991/PYSUA.2007.47.1.038.