(untitled) (Informatica)
On the Compilation of Programs into their Equivalent Constraint Representation