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 (1 (221), 61-63. https://doi.org/10.46991/PYSUA.2010.44.1.061.