L. Haykazyan, “ON FUNCTIONAL SYMBOL-FREE LOGIC PROGRAMS”, Proc. YSU A: Phys. Math. Sci., vol. 46, no. 1 (227), pp. 43–48, Mar. 2012.