On the Compilation of Programs into Their Equivalent Constraint Representation. INF 32 (4).