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