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