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