Chubaryan, A.A. and Bolibekyan, H.R. 2010. ON THE RABIN’S SPEED-UP OF PROOFS FOR SOME SYSTEMS OF FIRST ORDER LOGIC. Proceedings of the YSU A: Physical and Mathematical Sciences. 44, 1 (221) (Jan. 2010), 61–63. DOI:https://doi.org/10.46991/PYSU:A/2010.44.1.061.