Khachatryan, S.A. “ON TERMINATION OF FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS”. Proceedings of the YSU A: Physical and Mathematical Sciences 47, no. 3 (232) (November 20, 2013): 49–56. Accessed January 21, 2026. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol47_no3_2013_pp049-056.