B. RAGALYTĖ and A. PAUKŠTIENĖ, “MATHEMATICAL LOGIC AND PROGRAMMING”, ARSP, vol. 19, no. 1, pp. 50–55, Dec. 2023.