Tri Bagus Kurniawan, Muhammad Risqi Nuryana, and R. S. Bijokangko, “Implementation of Constraint Satisfaction Problem Approach for Solving the Zebra Puzzle with Prolog”, epic, vol. 8, no. 2, pp. 302–312, Dec. 2025.