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