S. Khachatryan, “ON OPTIMIZATION OF MONADIC LOGIC PROGRAMS”, Proc. YSU A: Phys. Math. Sci., vol. 48, no. 1 (233), pp. 40–47, Apr. 2014.