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