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