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