Haykazyan, L. DECIDABILITY OF Δ-EQUIVALENCE PROBLEM FOR MONADIC LOGIC PROGRAMS. Proc. YSU A: Phys. Math. Sci. 2011, 45 (2 (225), 50-54. https://doi.org/10.46991/PYSUA.2011.45.2.050.