KHACHATRYAN, S.A. ON TERMINATION OF FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS. Proceedings of the YSU A: Physical and Mathematical Sciences, Yerevan, Armenia, v. 47, n. 3 (232), p. 49–56, 2013. DOI: 10.46991/PYSU:A/2013.47.3.049. Disponível em: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol47_no3_2013_pp049-056. Acesso em: 22 jul. 2024.