S. R. Aleksanyan, “ON PROOF NORMAL FORMS FOR SOME SYSTEMS OF CLASSICAL PROPOSITIONAL LOGIC”, Proc. YSU A: Phys. Math. Sci., vol. 41, no. 1 (212), pp. 38–45, Mar. 2007.