Haykazyan, L.A. 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.