VECHIRSKA, I.; KOBYLIN, O.; PROKOPIEV , S.; VECHIRSKA, A.; Kucherenko, M. BUILDING A LOGICAL NETWORK FOR SOLVING THE PROBLEM OF CAR RENTAL BY MEANS ALGEBRA OF FINITE PREDICATES. CSIT 2022, 78-87.