Khachatryan, S. ON OPTIMIZATION OF MONADIC LOGIC PROGRAMS. Proc. YSU A: Phys. Math. Sci. 2014, 48, 40-47.