І. Вечірська, О. Кобилін, С. Прокоп’єв, А. Вечірська, і М. Кучеренко, «ПОБУДОВА ЛОГІЧНОЇ МЕРЕЖІ ДЛЯ РОЗВ’ЯЗАННЯ ЗАДАЧІ ОРЕНДИ АВТОМОБІЛІВ ЗАСОБАМИ АЛГЕБРИ СКІНЧЕННИХ ПРЕДИКАТІВ », CSIT, вип. 2, с. 78–87, Чер 2022.