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