F. Wotawa and M. Nica, “On the Compilation of Programs into their Equivalent Constraint Representation”, IJCAI, vol. 32, no. 4.