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 July 22, 2024. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol47_no3_2013_pp049-056.