Haykazyan, L.A. “DECIDABILITY OF Δ-EQUIVALENCE PROBLEM FOR MONADIC LOGIC PROGRAMS”. Proceedings of the YSU A: Physical and Mathematical Sciences 45, no. 2 (225) (April 28, 2011): 50–54. Accessed November 22, 2024. https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol45_no2_2011_pp050-054.