A. A. Chubaryan and H. R. Bolibekyan, “ON THE RABIN’S SPEED-UP OF PROOFS FOR SOME SYSTEMS OF FIRST ORDER LOGIC”, Proc. YSU A: Phys. Math. Sci., vol. 44, no. 1 (221), pp. 61–63, Jan. 2010, doi: 10.46991/PYSUA.2010.44.1.061.