Pereira, M., 		Vargas, P., 		Castro, M., 		Franca, F., & 		Dutra, I.
(2007).
 Automatic Constraint Partitioning to Speed Up CLP Execution.
In <em>Proceedings of the 19th International Symposium on Computer Architecture and High Performance Computing</em>, (pp. 271-278). Porto Alegre: SBC.