F. Wotawa and M. Nica, “On the Compilation of Programs into their Equivalent Constraint Representation”, Informatica, vol. 32, no. 4, Accessed: Aug. 14, 2026. [Online]. Available: https://www.informatica.si/index.php/informatica/article/view/209