Haykazyan L. DECIDABILITY OF Δ-EQUIVALENCE PROBLEM FOR MONADIC LOGIC PROGRAMS. Proc. YSU A: Phys. Math. Sci. [Internet]. 2011 Apr. 28 [cited 2024 Jul. 3];45(2 (225):50-4. Available from: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol45_no2_2011_pp050-054