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. Yerevan, Armenia, 44(1 (221), pp. 61–63. doi: 10.46991/PYSU:A/2010.44.1.061.