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