С. Д. Аннамаммедов and Р. А. Аннамырадов 2025. ФОРМАЛЬНАЯ ВЕРИФИКАЦИЯ И ОПТИМИЗАЦИЯ ЛОГИЧЕСКИХ ПРОГРАММ В СИСТЕМАХ АВТОМАТИЧЕСКОГО ДОКАЗАТЕЛЬСТВА ТЕОРЕМ. ОБРАЗОВАНИЕ И НАУКА В XXI ВЕКЕ. 69-1 (том 3) (Dec. 2025).