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