(1)
Wotawa, F.; Nica, M. On the Compilation of Programs into Their Equivalent Constraint Representation. IJCAI 32.