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