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://www.informatica.si/index.php/informatica/article/view/209. Acesso em: 7 apr. 2026.