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