“On the Compilation of Programs into their Equivalent Constraint Representation”, INF, vol. 32, no. 4, Accessed: Nov. 15, 2025. [Online]. Available: https://puffbird.ijs.si/index.php/informatica/article/view/209