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