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