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