CHUBARYAN, A. A.; BOLIBEKYAN, H. R. ON THE RABIN’S SPEED-UP OF PROOFS FOR SOME SYSTEMS OF FIRST ORDER LOGIC. Proceedings of the YSU A: Physical and Mathematical Sciences, Yerevan, Armenia, v. 44, n. 1 (221), p. 61–63, 2010. DOI: 10.46991/PYSU:A/2010.44.1.061. Disponível em: https://pub.ysu.am/index.php/proceedings-phys-math/article/view/vol44_no1_2010_pp061-063. Acesso em: 23 nov. 2024.