HAYKAZYAN, L.A. DECIDABILITY OF Δ-EQUIVALENCE PROBLEM FOR MONADIC LOGIC PROGRAMS. Proceedings of the YSU A: Physical and Mathematical Sciences, Yerevan, Armenia, v. 45, n. 2 (225), p. 50–54, 2011. DOI: 10.46991/PYSU:A/2011.45.2.050. Disponível em: https://journals.ysu.am/index.php/proceedings-phys-math/article/view/vol45_no2_2011_pp050-054. Acesso em: 3 jul. 2024.