Chubaryan, A. A., & 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), 61–63. https://doi.org/10.46991/PYSU:A/2010.44.1.061