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