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/PYSU:A/2011.45.2.050