On the Compilation of Programs into their Equivalent Constraint Representation (Informatica, 2025)
On the Compilation of Programs into their Equivalent Constraint Representation