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