HAYKAZYAN, L. DECIDABILITY OF Δ-EQUIVALENCE PROBLEM FOR MONADIC LOGIC PROGRAMS. Proceedings of the YSU A: Physical and Mathematical Sciences, v. 45, n. 2 (225), p. 50–54, 28 Apr.2011.