Haykazyan, L. (2011). DECIDABILITY OF Δ-EQUIVALENCE PROBLEM FOR MONADIC LOGIC PROGRAMS. Proceedings of the YSU A: Physical and Mathematical Sciences, 45(2 (225), 50-54. https://doi.org/10.46991/PYSUA.2011.45.2.050