С. Д. Аннамаммедов and Р. А. Аннамырадов, “ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ И ОПТИМИЗАЦИЯ ЛОГИЧЕСКИХ ПРОГРАММ В СИСТЕМАХ АВТОМАТИЧЕСКОГО ДОКАЗАТЕЛЬСТВА ТЕОРЕМ”, ОНДВ, no. 69-1, Dec. 2025, Accessed: Jun. 30, 2026. [Online]. Available: https://mpcareer-google.ru/index.php/journal/article/view/4419