Haykazyan, L.A. “ON FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS”. Proceedings of the YSU A: Physical and Mathematical Sciences, vol. 46, no. 1 (227), Mar. 2012, pp. 43-48, doi:10.46991/PYSU:A/2012.46.1.043.