Khachatryan S. ON TERMINATION OF FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS. Proc. YSU A: Phys. Math. Sci. [Internet]. 2013 Nov. 20 [cited 2024 Nov. 22];47(3 (232):49-56. Available from: https://pub.ysu.am/index.php/proceedings-phys-math/article/view/vol47_no3_2013_pp049-056