RAGALYTĖ, B.; PAUKŠTIENĖ, A. MATHEMATICAL LOGIC AND PROGRAMMING. ARSP 2023, 19 (1), 50-55.