Chubaryan, A. A., and H. R. Bolibekyan. 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). Yerevan, Armenia:61-63. https://doi.org/10.46991/PYSU:A/2010.44.1.061.