CHUBARYAN, A. A.; BOLIBEKYAN, H. R. ON THE RABIN’S SPEED-UP OF PROOFS FOR SOME SYSTEMS OF FIRST ORDER LOGIC. Proceedings of the YSU A: Physical and Mathematical Sciences, v. 44, n. 1 (221), p. 61–63, 26 Jan.2010.