Khachatryan, S. ON TERMINATION OF FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS. Proc. YSU A: Phys. Math. Sci. 2013, 47 (3 (232), 49-56. https://doi.org/10.46991/PYSUA.2013.47.3.049.