Chubaryan, A. A.; Bolibekyan, H. R. ON THE RABIN’S SPEED-UP OF PROOFS FOR SOME SYSTEMS OF FIRST ORDER LOGIC. Proc. YSU A: Phys. Math. Sci. 2010, 44, 61-63.