Haykazyan, L. DECIDABILITY OF Δ-EQUIVALENCE PROBLEM FOR MONADIC LOGIC PROGRAMS. Proc. YSU A: Phys. Math. Sci. 2011, 45, 50-54.