A. A. Chubaryan and H. R. Bolibekyan, “ON THE RABIN’S SPEED-UP OF PROOFS FOR SOME SYSTEMS OF FIRST ORDER LOGIC”, Proc. YSU A: Phys. Math. Sci., vol. 44, no. 1 (221), pp. 61–63, Jan. 2010.