On the Compilation of Programs into their Equivalent Constraint Representation. Informatica, [S. l.], v. 32, n. 4, Disponível em: https://puffbird.ijs.si/index.php/informatica/article/view/209. Acesso em: 14 nov. 2025.