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