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