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