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