Вечірська, І., О. Кобилін, С. Прокоп’єв, А. Вечірська, і М. Кучеренко. «ПОБУДОВА ЛОГІЧНОЇ МЕРЕЖІ ДЛЯ РОЗВ’ЯЗАННЯ ЗАДАЧІ ОРЕНДИ АВТОМОБІЛІВ ЗАСОБАМИ АЛГЕБРИ СКІНЧЕННИХ ПРЕДИКАТІВ». Computer Systems and Information Technologies, вип. 2, Червень 2022, с. 78-87, doi:10.31891/csit-2022-2-9.