«Виявлення суперечностей у вимогах до програмних систем засобами штучного інтелекту», ICT, вип. 3, вип. 2 (4), с. 686–696, Жов 2026, doi: 10.15276/ict.03.2026.52.