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: 29 jan. 2026.