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