ALEKSANYAN, S. R. ON PROOF NORMAL FORMS FOR SOME SYSTEMS OF CLASSICAL PROPOSITIONAL LOGIC. Proceedings of the YSU A: Physical and Mathematical Sciences, v. 41, n. 1 (212), p. 38–45, 5 Mar.2007.