S. O. Semerikov, I. S. Mintii, and N. V. Moiseienko, “Teaching logic programming: a review”, CTE Workshop Proc., vol. 12, pp. 399–425, Mar. 2025, doi: 10.55056/cte.838.