S. Khachatryan, “ON TERMINATION OF FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS”, Proc. YSU A: Phys. Math. Sci., vol. 47, no. 3 (232), pp. 49–56, Nov. 2013.