[1]
Haykazyan, L. 2011. DECIDABILITY OF Δ-EQUIVALENCE PROBLEM FOR MONADIC LOGIC PROGRAMS. Proceedings of the YSU A: Physical and Mathematical Sciences. 45, 2 (225) (Apr. 2011), 50–54. DOI:https://doi.org/10.46991/PYSU:A/2011.45.2.050.