I. VECHIRSKA, O. KOBYLIN, S. PROKOPIEV, A. VECHIRSKA, and M. Kucherenko, “BUILDING A LOGICAL NETWORK FOR SOLVING THE PROBLEM OF CAR RENTAL BY MEANS ALGEBRA OF FINITE PREDICATES”, CSIT, no. 2, pp. 78–87, Jun. 2022.