Chubaryan AA, Bolibekyan HR. ON THE RABIN’S SPEED-UP OF PROOFS FOR SOME SYSTEMS OF FIRST ORDER LOGIC. Proc. YSU A: Phys. Math. Sci. [Internet]. 2010 Jan. 26 [cited 2024 Nov. 23];44(1 (221):61-3. Available from: https://pub.ysu.am/index.php/proceedings-phys-math/article/view/vol44_no1_2010_pp061-063