Khachatryan, S. (2013) “ON TERMINATION OF FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS”, Proceedings of the YSU A: Physical and Mathematical Sciences. Yerevan, Armenia, 47(3 (232), pp. 49–56. doi: 10.46991/PYSU:A/2013.47.3.049.