. On the Compilation of Programs into their Equivalent Constraint Representation. Informatica. 32, 4 ().