С. Д. Аннамаммедов, Р. А. Аннамырадов. ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ И ОПТИМИЗАЦИЯ ЛОГИЧЕСКИХ ПРОГРАММ В СИСТЕМАХ АВТОМАТИЧЕСКОГО ДОКАЗАТЕЛЬСТВА ТЕОРЕМ. ОНДВ. 2025;(69-1 (том 3). Accessed June 30, 2026. https://mpcareer-google.ru/index.php/journal/article/view/4419