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, https://doi.org/10.46991/PYSUA.2007.47.1.038.