Дадиверін, В. В. і Бісікало, О. В. (2026) «АВТОМАТИЗОВАНА ПЕРЕВІРКА ТВЕРДЖЕНЬ З ВИКОРИСТАННЯМ RAG-МЕХАНІЗМУ ТА КЛАСИФІКАЦІЇ ОЗНАК», Інформаційні технології та суспільство, (1 (20), с. 6-13. doi: 10.32689/maup.it.2026.1.1.