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 44, no. 1 (221) (January 26, 2010): 61–63. Accessed July 22, 2024. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol44_no1_2010_pp061-063.