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