WOTAWA, Franz; NICA, Mihai. 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: 23 jun. 2025.