L. Haykazyan, “DECIDABILITY OF Δ-EQUIVALENCE PROBLEM FOR MONADIC LOGIC PROGRAMS”, Proc. YSU A: Phys. Math. Sci., vol. 45, no. 2 (225), pp. 50–54, Apr. 2011.